Data.Logic.Classes.Term
class Term term v f
class Function f v
convertTerm
showTerm
prettyTerm
fvt
tsubst
funcs