HOL.TermData

mkConst

destConst

isConst

destGivenConst

isGivenConst

mkVar

destVar

isVar

eqVar

mkApp

destApp

isApp

mkAbs

destAbs

isAbs

size

typeOf