TPDB.Data.Term
data Term v s
vmap
type Position
positions
pos
sympos
varpos
leafpos
subterms
pmap
rpmap
peek
peek_symbol
poke_symbol
poke
pokes
symsl
syms
lsyms
vars
isvar
lvars
voccs