ContentsIndex
LRFact
Documentation
data T
Constructors
Cap [T]
Conc T T
Po Int
Funct String Int Int
FreeT String
Zero
show/hide 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