HOL.Type

dest

mk

mkVar

destVar

isVar

eqVar

mkOp

destOp

isOp

destGivenOp

isGivenOp

size

isNullaryOp

destUnaryOp

isUnaryOp

destBinaryOp

isBinaryOp

alpha

beta

bool

isBool

mkPred

destPred

isPred

mkRel

destRel

isRel

mkFun

destFun

isFun

domain

range

listMkFun

stripFun

ind

isInd

mkEq

destEq

isEq

mkSelect

destSelect

isSelect