Def.hascasl revision da9480ca62c02207c30ba65dcfcd0f1e581bec21
sort s < t
var x : s; y : t
. def (\f : s ->s . def f (x))
. def y as s