Cross Reference: X3.casl
xref
: /
hets
/
CASL
/
test
/
X3.casl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
sorts s = t
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
ops g:s->?s;
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
g:s->t;
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
var x : s
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
f92a9a33e08d620a0ac77dbcd22282c379047f59
Christian Maeder
. def g(x)