// Standard reference 24.2.2
// The following code defines the concept "Iterator"
// The concept is uaary with a single type parameter called "X"
// The "using" argument here specifies that "Iterator" is a refinement of the
// previously defined concepts "CopyAssignable", "CopyConstructible",
// "Destructible", and "Swappable".
// The "for typedef" argument is a convenience argument that lets the programmer
// create a simple alias for a more complicated type name. This alias is only for
// use when calling the macro to simplify the specification of further
// requirements.

// Define a list by enclosing the item type in brackets [int]
// and initialize its value.
 
Scores : [int] = [ 92, 100, 85, 62, 81, 100 ];
 
// Option A
 
// require the stream type to be specified on a property
PassingScores : int*
{