Alias.hascasl.output revision 33a5d53a412ba0a4e5847f7538d6da2e22bd116c
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian Maedertype MyPred : Type -> Type := \ s : Type . s ->? Unit
81d182b21020b815887e9057959228546cf61b6bChristian Maedertype MyAlias : Type -> Type := \ t : Type . t ->? Unit
c438c79d00fc438f99627e612498744bdc0d0c89Christian Maedertype a1 : Type -> Type -> Type := \ (a : Type)
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian Maeder (b : Type) . a -> b -> Unit
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian Maedertype a1 : Type -> Type -> Type := \ (a : Type)
3f69b6948966979163bdfe8331c38833d5d90ecdChristian Maeder (b : Type) . a -> b -> Unit
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian Maedertype a1 : Type -> Type -> Type := \ (a : Type)
c438c79d00fc438f99627e612498744bdc0d0c89Christian Maeder (b : Type) . a -> b -> Unit
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian Maedertype a2 : Type -> Type -> Type := \ (a : Type)
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder (b : Type) . a -> Unit
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian Maedertype a3 : Type -> Type -> Type := \ (a : Type)
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian Maeder (a : Type) . a -> Unit
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian Maedertype a4 : Type -> Type -> Type := \ (a : Type)
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian Maeder (a : Type) . a -> Unit
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian Maedertype a5(a : Type)
950e053ba55ac9c7d9c26a1ab48bd00202b29511Christian Maedertype a5 : Type -> Type := \ a : Type . a5 a -> Unit
c2dead95fafd7ca36d06ddf07606a1292ead6d8aChristian Maedertype a6(a : Type)
4ef2a978e66e2246ff0b7f00c77deb7aabb28b8eChristian Maedertype a7 : Type -> Type := \ a : Type . a6 a -> Unit
5334aa8fe0b0d1eb8a1cad40b741aa07172773c9Christian Maedertype a6 : Type -> Type := \ a : Type . (a6 a -> Unit) -> Unit
c2dead95fafd7ca36d06ddf07606a1292ead6d8aChristian Maeder%% Type Constructors -----------------------------------------------------
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian MaederMyAlias : Type -> Type := \ t : Type . t ->? Unit
15c12a3ac049a4528da05b1017b78145f308aeb0Christian MaederMyPred : Type -> Type := \ s : Type . s ->? Unit
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederPred : Type -> Type := \ a : Type . a ->? Unit
ad270004874ce1d0697fb30d7309f180553bb315Christian MaederUnit : Type := Unit
4ef2a978e66e2246ff0b7f00c77deb7aabb28b8eChristian Maeder__-->__ : Type- -> Type+ -> Type
15c12a3ac049a4528da05b1017b78145f308aeb0Christian Maeder__-->?__ : Type- -> Type+ -> Type
15c12a3ac049a4528da05b1017b78145f308aeb0Christian Maeder__->__ : Type- -> Type+ -> Type
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian Maeder__->?__ : Type- -> Type+ -> Type
15c12a3ac049a4528da05b1017b78145f308aeb0Christian Maeder__�__ : Type+ -> Type+ -> Type
fc7df539e6d41b050161ed8f9ae6e444b1b5ab14Christian Maedera1 : Type -> Type -> Type := \ (a : Type)
3f63b98c111e5e2bb2cf13795cf6e084a78b0a8dChristian Maeder (b : Type) . a -> b -> Unit
2b9022bd5dfb351d1d80f61680336effeccfa23eChristian Maedera2 : Type -> Type -> Type := \ (a : Type)(b : Type) . a -> Unit
cc8b603388a7deb7fb8045db0341f550f8be5844Christian Maedera3 : Type -> Type -> Type := \ (a : Type)(a : Type) . a -> Unit
0df692ce8b9293499b2e1768458613a63e7b5cd0Christian Maedera4 : Type -> Type -> Type := \ (a : Type)(a : Type) . a -> Unit
c438c79d00fc438f99627e612498744bdc0d0c89Christian Maedera5 : Type -> Type
0df692ce8b9293499b2e1768458613a63e7b5cd0Christian Maedera6 : Type -> Type
c438c79d00fc438f99627e612498744bdc0d0c89Christian Maedera7 : Type -> Type := \ a : Type . a6 a -> Unit
f4741f6b7da52b5417899c8fcbe4349b920b006eChristian Maeders : Type %(var)%
04dada28736b4a237745e92063d8bdd49a362debChristian Maeder%% Assumptions -----------------------------------------------------------
c438c79d00fc438f99627e612498744bdc0d0c89Christian Maeder__/\__ : Unit � Unit ->? Unit
f4741f6b7da52b5417899c8fcbe4349b920b006eChristian Maeder__<=>__ : Unit � Unit ->? Unit
f4741f6b7da52b5417899c8fcbe4349b920b006eChristian Maeder__=__ : forall a : Type . a � a ->? Unit
f4741f6b7da52b5417899c8fcbe4349b920b006eChristian Maeder__=>__ : Unit � Unit ->? Unit
c438c79d00fc438f99627e612498744bdc0d0c89Christian Maeder__=e=__ : forall a : Type . a � a ->? Unit
04dada28736b4a237745e92063d8bdd49a362debChristian Maeder__\/__ : Unit � Unit ->? Unit
5334aa8fe0b0d1eb8a1cad40b741aa07172773c9Christian Maederdef__ : forall a : Type . a ->? Unit
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian Maederif__then__else__ : forall a : Type . Unit � a � a ->? a
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian Maedernot__ : Unit ->? Unit
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian Maeder%% Diagnostics -----------------------------------------------------------
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederHint (line 1, column 5) is type variable 's'
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederWarning (line 6, column 6) redeclared type 'a1'
5334aa8fe0b0d1eb8a1cad40b741aa07172773c9Christian MaederWarning (line 7, column 6) redeclared type 'a1'
ce5ff829db5f0bb4f16ad4de150eed4401d6acd5Christian MaederWarning (line 11, column 19) redeclared type 'a'
c438c79d00fc438f99627e612498744bdc0d0c89Christian MaederError (line 11, column 15) duplicates at '(11,19)' for 'a'
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederError (line 13, column 9) duplicates at '(13,11)' for 'a'
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederError (line 17, column 14) illegal recursive type synonym 'a5 a -> Unit'
6d96cc81e7926a65188fea5626e0e4e199f9d782Christian MaederError (line 21, column 14) illegal recursive type synonym '(a6 a -> Unit) -> Unit'