Alias.hascasl revision 14f86b92900f3248952c94e980db715802433cdb
var s: Type
type MyPred s := s ->? Unit
type MyAlias t := t ->? Unit
type a1 a b := a -> b -> Unit
type a1 := \ (a) (b) .a -> b -> Unit
type a1 a := \ b .a -> b -> Unit
type a2 := \ (a) (b) . a -> Unit
type a3 := \ (a) (a) . a -> Unit
type a4 a a := a -> Unit