Term.Maude.Types

Maude terms

data MaudeLit

type MSubst

type MTerm

conversion from/to maude terms

lTermToMTerm

lTermToMTerm'

mTermToLNTerm

runConversion

msubstToLSubstVFresh

msubstToLSubstVFree