Cross Reference: XInternal.hascasl.output
xref
: /
hets
/
HasCASL
/
test
/
XInternal.hascasl.output
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
internal
{types s, t
funs o, q : s -> t
. o = q;
}
types
s : Type;
t : Type
fun o : s -> t
fun q : s -> t
. o = q