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