HOL.TypeData

mkVar

destVar

isVar

eqVar

mkOp

destOp

isOp

destGivenOp

isGivenOp

size

isNullaryOp

destUnaryOp

isUnaryOp

destBinaryOp

isBinaryOp