ContentsIndex
Engine.Unification
Documentation
unify :: MonadError String m => STerm -> STerm -> m Substitution
apply :: Substitution -> STerm -> STerm
type Substitution = String -> STerm
Produced by Haddock version 0.8