assertion_kind

namespace std::contracts {
  enum class assertion_kind : unspecified {
    pre = 1,
    post = 2,
    assert = 3
  };
}

概要

違反した可能性のある契約の種類を表す列挙型。

これの他に、処理系依存のものを定めてもよい。