Tip.Pretty.TFF

apply

clause

validTFFChar

ppTheory

ppSort

ppUninterp

ppFormula

tffify

tffvarify

ppExpr

ppLocal

ppQuant

ppHead

ppBuiltin

ppLit

ppType

ppBuiltinType