17 Language support library [language.support]

17.8 Contract violation handling [support.contract]

17.8.1 Header <contract> synopsis [contract.syn]

The header <contract> defines a type for reporting information about contract violations generated by the implementation.
namespace std {
  class contract_violation;
}