TPDB.Data.Term

data Term v s

vmap

type Position

positions

size

depth

pos

sympos

varpos

leafpos

subterms

strict_subterms

isSubtermOf

isStrictSubtermOf

pmap

rpmap

peek

peek_symbol

poke_symbol

poke

pokes

symsl

syms

lsyms

vars

isvar

lvars

voccs