Term.VTerm
data Lit c v
type VTerm c v
varTerm
constTerm
varsVTerm
occursVTerm
constsVTerm
isVar
termVar
termVar'
class IsVar v
class IsConst c
prettyTerm
showFunSymName
lits
fAppOne
fAppDiff
fAppExp
fAppInv
fAppPMult
fAppEMap
fAppPair
fAppFst
fAppSnd
isPair
isDiff
isInverse
isProduct
isUnion
isEMap
isNullaryPublicFunction
isPrivateFunction
getLeftTerm
getRightTerm
data FunSym
data ACSym
data CSym
data Privacy
type NoEqSym
type FunSig
type NoEqFunSig
diffSymString
expSymString
invSymString
pmultSymString
emapSymString
unionSymString
diffSym
expSym
pmultSym
dhFunSig
bpFunSig
msetFunSig
pairFunSig
dhReducibleFunSig
bpReducibleFunSig
implicitFunSig
class Sized a
data Term a
data TermView a
viewTerm
data TermView2 a
viewTerm2
termViewToTerm
data DiffType
traverseTerm
fmapTerm
bindTerm
lit
fApp
fAppAC
fAppC
fAppNoEq
fAppList
unsafefApp