traits.hpp serif/discretization/domain/schema/domain_schema.hpp src/include/serif/discretization/domain/schema/concepts.hpp serif serif::discretization serif::discretization::domain serif::discretization::domain::schema File containing the is_schema_v trait. This trait is used to determine if a type is a DomainSchema. Emily M. Boudreaux #pragmaonce #include"serif/discretization/domain/schema/domain_schema.hpp" namespaceserif::discretization::domain::schema{ template<typenameS> constexprboolis_schema_v=false; template<IsDomainIDListDomainIDs,IsBoundaryIDListBoundaryIDs,IsRelationListRelations> constexprboolis_schema_v<DomainSchema<DomainIDs, BoundaryIDs, Relations>>=true; }