Contents
Index
LRFact
Documentation
data
T
Constructors
Cap
[
T
]
Conc
T
T
Po
Int
Funct
String Int Int
FreeT
String
Zero
Instances
Eq
T
Show
T
term_t
::
ITerm
->
T
flatten
::
T
->
T
unify
::
T
->
T
factor_left
::
T
->
T
factor_l
::
T
->
T
repeat_until_eq
:: Eq a => (a -> a) -> a -> a
Produced by
Haddock
version 0.8