delta

Type.delta : hol_type

Common type variable.

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

See also

Type.alpha, Type.beta, Type.gamma, Type.bool