Alias.hascasl revision 14f86b92900f3248952c94e980db715802433cdb
8b666e1fb772b6fe45de3604b224f3e1f2cfd620rbbvar s: Type
8b666e1fb772b6fe45de3604b224f3e1f2cfd620rbbtype MyPred s := s ->? Unit
e379fc6d7f79163700290d92ce75deb4f3005301jerenkrantztype MyAlias t := t ->? Unit
e379fc6d7f79163700290d92ce75deb4f3005301jerenkrantztype a1 a b := a -> b -> Unit
978faa9e29e0f0c42e66c07240e562325a4717b0jerenkrantztype a1 := \ (a) (b) .a -> b -> Unit
978faa9e29e0f0c42e66c07240e562325a4717b0jerenkrantztype a1 a := \ b .a -> b -> Unit
978faa9e29e0f0c42e66c07240e562325a4717b0jerenkrantztype a2 := \ (a) (b) . a -> Unit
976501adbc040220270f7d1d77c4b8373033be69wrowetype a3 := \ (a) (a) . a -> Unit
976501adbc040220270f7d1d77c4b8373033be69wrowetype a4 a a := a -> Unit