X3.casl revision f92a9a33e08d620a0ac77dbcd22282c379047f59
sorts s = t
ops g:s->?s;
g:s->t;
var x : s
. def g(x)