HasCASL/test/Types.hascasl.output

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
__ ** __
__ * __
__ * __ -> __ * __
__ * __ * __ * __
__ * __ * __ * __
[]
{} -> {}
a -> ? b
a -> ? b
?? -> ??