HasCASL/test/Types.hascasl.output

	Types.hascasl.output revision 5214cf3742dc626a7efc5ec851db09bf0ff1f579
a
a -> b
a ->? b
a � b
a � b
a -> b
a ->? b
a � b
a � b
?->?
?? ->? ??
*->*
(a)
(a -> b)
(a -> b -> c)
a -> b -> c
a -> (b -> c)
(a -> b) -> c
(a -> (b -> c))
((a -> b) -> c)
a -> b -> c -> d
a -> ((b -> c) -> d)
a -> (b -> (c -> d))
(a -> (b -> c)) -> d
((a -> b) -> c) -> d
(a -> ((b -> c) -> d))
(a -> (b -> (c -> d)))
((a -> (b -> c)) -> d)
(((a -> b) -> c) -> d)
(a � b)
(a � b � c)
a � b � c
a � (b � c)
(a � b) � c
(a � (b � c))
((a � b) � c)
a � b � c � d
a � ((b � c) � d)
a � (b � (c � d))
(a � (b � c)) � d
((a � b) � c) � d
(a � ((b � c) � d))
(a � (b � (c � d)))
((a � (b � c)) � d)
(((a � b) � c) � d)
(a ->? b)
(a ->? b ->? c)
a ->? b ->? c
a ->? (b ->? c)
(a ->? b) ->? c
(a ->? (b ->? c))
((a ->? b) ->? c)
a ->? b ->? c ->? d
a ->? ((b ->? c) ->? d)
a ->? (b ->? (c ->? d))
(a ->? (b ->? c)) ->? d
((a ->? b) ->? c) ->? d
(a ->? ((b ->? c) ->? d))
(a ->? (b ->? (c ->? d)))
((a ->? (b ->? c)) ->? d)
(((a ->? b) ->? c) ->? d)
(a � b)
(a � b � c)
a � b � c
a � (b � c)
(a � b) � c
(a � (b � c))
((a � b) � c)
a � b � c � d
a � ((b � c) � d)
a � (b � (c � d))
(a � (b � c)) � d
((a � b) � c) � d
(a � ((b � c) � d))
(a � (b � (c � d)))
((a � (b � c)) � d)
(((a � b) � c) � d)
a � b � c � d
a � b � c � d
a � b � c � d
a � b � c � d
a -> b ->? c -> d
a ->? b ->? c -> d
a -> b ->? c ->? d
a -> b -> c ->? d
a ->? b -> c ->? d
a ->? b -> c -> d
a -> b � c -> d
a � b � c -> d
a -> b � c � d
a -> b -> c � d
a � b -> c � d
a � b -> c -> d
(a -> b) � (c -> d)
a � b � (c -> d)
(a -> b) � c � d
a -> (b -> c) � d
(a -> b -> c) � d
a � (b -> c) � d
a � (b -> c) -> d
a � (b -> c -> d)
()
() -> ()
() � ()
a --> b
a -->? b
__ -> __
a ** b
__ ** __
__ � __
__ � __ -> __ � __
__ � __ � __ � __
__ � __ � __ � __
[]
{} -> {}