holding

Defines a constant holding assertion.