CONCEPT DEFINITION $PODFQUEF fi OJUJPOJTBUFNQMBUFGPSBOBNFETFUPGDPOTUSBJOUT template concept name = constraints; w $PODFQUTBSFOFWFSJOTUBOUJBUFECZUIFDPNQJMFS w 5IFDPNQJMFSFWBMVBUFTBUDPNQJMFUJNF w 1BSBNFUFSMJTUDBODPOUBJOOPOUZQFQBSBNFUFST $POTUSBJOUTBSFMPHJDBMFYQSFTTJPOTUIBUDPOTJTUPGDPOKVODUJPOT
TYPE & NESTED REQUIREMENTS typename name; // name is a valid type name requires constraints; // same as in / / 'template concept = constraints;' template concept String = requires (S& s, const S& cs )