Twee.Term
class Build f a
build
buildList
con
fun
var
listSubstList
listSubst
foldSubst
allSubst
forMSubst_
class Substitution f s
subst
substList
data Subst f
substSize
lookupList
extendList
retract
unsafeExtendList
substCompose
substCompatible
substUnion
idempotent
idempotentOn
close
canonicalise
emptySubst
flattenSubst
match
matchList
data TriangleSubst f
substTri
unify
unifyList
unifyTri
unifyListTri
children
fromTermList
lookup
extend
len
emitTerm
bound
boundList
occurs
occursList
termListToList
emptyTermList
subtermsList
subterms
properSubtermsList
properSubterms
isFun
isVar
isInstanceOf
isVariantOf
mapFun
mapFunList
class Numbered f
fromFun
toFun
app
data Term f
data TermList f
at
lenList
data Fun f
data Var
singleton
data Builder f