std::contracts::assertion_kind - cppreference.com

From cppreference.com

enum class assertion_kind : /* unspecified */ { pre = 1, post = 2, assert = 3 };

(since C++26)

The enumerators of std::contracts::assertion_kind correspond to the syntactic forms of a contract assertion, with meanings listed below:

See also