Term.Maude.Signature

# Maude signatures

data MaudeSig

enableDH

enableBP

enableMSet

enableDiff

stFunSyms

stRules

funSyms

irreducibleFunSyms

rrulesForMaudeSig

noEqFunSyms

# predefined maude signatures

dhMaudeSig

pairMaudeSig

asymEncMaudeSig

symEncMaudeSig

signatureMaudeSig

hashMaudeSig

msetMaudeSig

bpMaudeSig

minimalMaudeSig

enableDiffMaudeSig

# extend maude signatures

addFunSym

addCtxtStRule

# pretty printing

prettyMaudeSig