Skupovi konceptualnih ograničenja na parametre

generičke funkcije

Tipovi koji zadovoljavaju ograničenja koje nameće taj

koncept

Konceptualni skupovi metatipova u zaglavlju generičke

funkcije

Parametri koji se mogu konceptualno slati nekoj

generičkoj funkciji