ContentsIndex
Engine.Unification
Synopsis
unify :: MonadError String m => Term -> Term -> m Substitution
apply :: Substitution -> Term -> Term
Produced by Haddock version 0.6