delta : hol_type

SYNOPSIS
Common type variable.

LIBRARY
Type

DESCRIBE
The ML variable Type.delta is bound to the type variable 'd.

SEEALSO  alpha,   beta,   gamma,   bool

HOL  Kananaskis 0