Term.Maude.Signature
data MaudeSig
enableDH
enableBP
enableMSet
enableDiff
stFunSyms
stRules
funSyms
irreducibleFunSyms
rrulesForMaudeSig
noEqFunSyms
dhMaudeSig
pairMaudeSig
asymEncMaudeSig
symEncMaudeSig
signatureMaudeSig
hashMaudeSig
msetMaudeSig
bpMaudeSig
minimalMaudeSig
enableDiffMaudeSig
addFunSym
addCtxtStRule
prettyMaudeSig