HOL.Data

type Size

data TypeVar

data TypeOp

data TypeOpProv

data TypeOpDef

data Type

data TypeData

type TypeId

data Var

data Const

data ConstProv

data ConstDef

data Term

data TermData

type TermId