Alias.hascasl revision a0e24c863b78669b05797ff8ce635995a9bede44
6f6c328eca52553e8c921565950fdddadc799bf7Christian Maedertype MyPred s := s ->? Unit
14f86b92900f3248952c94e980db715802433cdbChristian Maedertype MyAlias t := t ->? Unit
14f86b92900f3248952c94e980db715802433cdbChristian Maedertype a1 a b := a -> b -> Unit
14f86b92900f3248952c94e980db715802433cdbChristian Maedertype a1 := \ (a) (b) .a -> b -> Unit
14f86b92900f3248952c94e980db715802433cdbChristian Maedertype a1 a := \ b .a -> b -> Unit
14f86b92900f3248952c94e980db715802433cdbChristian Maedertype a2 := \ (a) (b) . a -> Unit
14f86b92900f3248952c94e980db715802433cdbChristian Maedertype a3 := \ (a) (a) . a -> Unit
14f86b92900f3248952c94e980db715802433cdbChristian Maedertype a4 a a := a -> Unit
33a5d53a412ba0a4e5847f7538d6da2e22bd116cChristian Maedertype a5 a := a5 a -> Unit
33a5d53a412ba0a4e5847f7538d6da2e22bd116cChristian Maedertype a7 a := a6 a -> Unit
33a5d53a412ba0a4e5847f7538d6da2e22bd116cChristian Maedertype a6 a := a7 a -> Unit
a0e24c863b78669b05797ff8ce635995a9bede44Christian Maedertype a2 : Type -> Type