Term.LTerm
data Name
data NameTag
data NameId
type NTerm v
sortOfName
freshTerm
pubTerm
data LSort
data LVar
type NodeId
type LTerm c
type LNTerm
freshLVar
sortPrefix
sortSuffix
sortCompare
sortOfLTerm
sortOfLNTerm
sortOfLit
isMsgVar
isFreshVar
isSimpleTerm
getVar
getMsgVar
niFactors
containsPrivate
containsNoPrivateExcept
neverContainsFreshPriv
ltermVar
ltermVar'
ltermNodeId
ltermNodeId'
bltermNodeId
bltermNodeId'
class HasFrees t
data MonotoneFunction f
occurs
freesList
frees
someInst
rename
renameIgnoring
eqModuloFreshnessNoAC
avoid
evalFreshAvoiding
evalFreshTAvoiding
renameAvoiding
renameAvoidingIgnoring
avoidPrecise
renamePrecise
renameDropNamehint
varOccurences
data BVar v
type BLVar
type BLTerm
foldBVar
fromFree
prettyLVar
prettyNodeId
prettyNTerm
prettyLNTerm
showLitName