Term.Maude.Types
data MaudeLit
type MSubst
type MTerm
lTermToMTerm
lTermToMTerm'
mTermToLNTerm
runConversion
msubstToLSubstVFresh
msubstToLSubstVFree