Cross Reference: /hets/CASL/test/X3.casl

Cross Reference: X3.casl

xref: /hets/CASL/test/X3.casl

Home
History
Annotate
Line#
Navigate
Download
only in ./

sorts s = t

ops g:s->?s;

g:s->t;

var x : s

. def g(x)

Indexes created Tue Jul 24 14:28:13 CEST 2018