Safe Haskell	None

Bug8

Documentation

data Typ

Constructors

Type (String, [Typ])
TFree (String, [String])

(-->) :: t -> t1 -> Typ

(--->) :: [a] -> Typ -> Typ

s :: a

t :: a

main :: a