Contents
Index
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