This page tries to list all the symbols that are available from the standard library (contracts library) in the namespace std::contracts. The symbols are written as follows:

• Function names with ().
• Templates with <>.

A C D E I

A

assertion_kind (since C++26)

C

contract_violation (since C++26)

D

detection_mode (since C++26)

E

evaluation_semantic (since C++26)

I

invoke_default_contract_violation_handler() (since C++26)