Unifies 'models' and 'satisfies' terminology.
Other papers in Concepts
P0734R0ConceptsToronto 2017P0857R0Functionality gaps in constraintsAlbuquerque 2017P1084R2Today's *return-type-requirement*s are insufficientSan Diego 2018P1141R2Yet another approach for constrained declarationsSan Diego 2018P0848R3Conditionally trivial special member functionsCologne 2019P1452R2On the non-uniform semantics of *return-type-requirement*sCologne 2019All 12 papers in Concepts →