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:
()
<>
A C D E I
assertion_kind (since C++26)
contract_violation (since C++26)
detection_mode (since C++26)
evaluation_semantic (since C++26)
invoke_default_contract_violation_handler() (since C++26)