17 Language support library [support]

17.10 Contract-violation handling [support.contract]

17.10.2 Enumerations [support.contract.enum]

Table 44 — Enum assertion_kind [tab:support.contract.enum.kind]
🔗
Name
Meaning
🔗
pre
A precondition assertion
🔗
post
A postcondition assertion
🔗
assert
🔗