Term.LTerm

Names

data Name

data NameTag

data NameId

type NTerm v

Queries

sortOfName

Construction

freshTerm

pubTerm

LVar

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

Destructors

ltermVar

ltermVar'

ltermNodeId

ltermNodeId'

bltermNodeId

bltermNodeId'

Manging Free LVars

class HasFrees t

data MonotoneFunction f

occurs

freesList

frees

someInst

rename

renameIgnoring

eqModuloFreshnessNoAC

avoid

evalFreshAvoiding

evalFreshTAvoiding

renameAvoiding

renameAvoidingIgnoring

avoidPrecise

renamePrecise

renameDropNamehint

varOccurences

BVar

data BVar v

type BLVar

type BLTerm

foldBVar

fromFree

Pretty-Printing

prettyLVar

prettyNodeId

prettyNTerm

prettyLNTerm

showLitName

Convenience exports