Twee.Term.Core

data Symbol

toSymbol

fromSymbol

data TermList f

at

lenList

data Term f

Empty :: TermList f

Cons t ts :: Term f -> TermList f -> TermList f

ConsSym t ts :: Term f -> TermList f -> TermList f

UnsafeCons/UnsafeConsSym: like Cons and ConsSym but don't check

unsafePatHead

patHead

Var :: Var -> Term f

Fun :: Fun f -> TermList f -> Term f

data Fun f

data Var

patRoot

patNext

singleton

eqSameLength

compareContents

data Builder f

type Builder1 s

buildTermList

getArray

getSize

getIndex

putIndex

liftST

built

then_

checked

emitSymbolBuilder

emitFun

emitVar

emitTermList