P0788R3

Standard library specification in a concepts and contracts world