Alias.hascasl revision a9ac4d0904b5547e612f9a394b24666c1ea02ccb
b640fb89ee46f63ae66111c0a12c0ff39e9daf20Christian Maedertype Binary := S * S -> T
6f6c328eca52553e8c921565950fdddadc799bf7Christian Maedertype MyPred s := s ->? Unit
14f86b92900f3248952c94e980db715802433cdbChristian Maedertype MyAlias t := t ->? Unit
14f86b92900f3248952c94e980db715802433cdbChristian Maedertype a1 a b := a -> b -> Unit
a9ac4d0904b5547e612f9a394b24666c1ea02ccbChristian Maedertype a1 (a) (b) := a -> b -> Unit
a9ac4d0904b5547e612f9a394b24666c1ea02ccbChristian Maedertype a2 a b := a -> Unit
a9ac4d0904b5547e612f9a394b24666c1ea02ccbChristian 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