#include <pseudo_concept.hpp>
Pseudo type for invariants in concepts Pseudo type used to document invariants in concepts