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