Concept that is satisfied if the type trait RecordsTraits is specialized for type TEnum which specifies type alias Type.
Definition at line 48 of file records.inl.