XInternal.hascasl revision c18e9c3c6d5039618f1f2c05526ece84c7794ea3
internal {
type s, t
funs o,q : s -> t
. o = q
}