Alias.hascasl.output revision 0d430ecf353b6ca5dd9f49ce43fec59c36b063d5
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maedertype MyPred : Type := \ s : Type . s ->? Unit
62ecb1e7f8fd9573eea8369657de12c7bf9f4f25Christian Maeder%% Type Constructors -----------------------------------------------------
97018cf5fa25b494adffd7e9b4e87320dae6bf47Christian MaederMyPred : Type := \ s : Type . s ->? Unit
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian MaederPred : Type -> Type := \ a : Type . a ->? Unit
b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiUnit : Type := Unit
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder__-->__ : Type- -> Type+ -> Type
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder__-->?__ : Type- -> Type+ -> Type
f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder__->__ : Type- -> Type+ -> Type
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder__->?__ : Type- -> Type+ -> Type
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder__�__ : Type+ -> Type+ -> Type
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeders : Type %(var)%
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder%% Assumptions -----------------------------------------------------------
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder__/\__ : Unit � Unit ->? Unit
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maeder__<=>__ : Unit � Unit ->? Unit
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian Maeder__=__ : forall a : Type . a � a ->? Unit
ee9eddfa6953868fd6fbaff0d9ff68675a13675aChristian Maeder__=>__ : Unit � Unit ->? Unit
1d589334ba6b4a4cbfb35307a7a732261e77b0cdChristian Maeder__=e=__ : forall a : Type . a � a ->? Unit
1d589334ba6b4a4cbfb35307a7a732261e77b0cdChristian Maeder__\/__ : Unit � Unit ->? Unit
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maederdef__ : forall a : Type . a ->? Unit
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237fChristian Maederif__then__else__ : forall a : Type . Unit � a � a ->? a
715ffaf874309df081d1e1cd8e05073fc1227729Christian Maedernot__ : Unit ->? Unit
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5Christian Maeder%% Diagnostics -----------------------------------------------------------
ee9eddfa6953868fd6fbaff0d9ff68675a13675aChristian MaederHint (line 1, column 5) is type variable 's'