HOL.TypeOp
name
prov
mkUndef
isUndef
class HasOps a
boolName
bool
funName
fun
indName
ind
primitives
productName
sumName
naturalName