Term.Unification
unifyLTerm
unifyLNTerm
unifiableLNTerms
unifyLTermFactored
unifyLNTermFactored
matchLVar
solveMatchLTerm
solveMatchLNTerm
data MaudeHandle
type WithMaude
startMaude
getMaudeStats
mhMaudeSig
mhFilePath
data MaudeSig
enableDH
enableBP
enableMSet
enableDiff
minimalMaudeSig
enableDiffMaudeSig
dhMaudeSig
bpMaudeSig
msetMaudeSig
pairMaudeSig
symEncMaudeSig
asymEncMaudeSig
signatureMaudeSig
hashMaudeSig
rrulesForMaudeSig
stFunSyms
funSyms
stRules
irreducibleFunSyms
noEqFunSyms
addFunSym
addCtxtStRule