//--------------stuff below here is for our internal use for now --------------------------------//

 

( Operations labelled with * are guaranteed to return normally if all basic requirements have been met)

Basic Client Requirements

Strong guarantee requirements for other mutating container operations

Operations labelled with * are guaranteed to return normally if all additional requirements have been met)

Definition of terms
Term Meaning, when applied to a type T
(x and yof type T)
"guaranteed copyable" T z(x) and x = y may not exit via exception.
"guaranteed equality-comparable" x == y may not exit via exception.
"guaranteed comparable" x < y may not exit via exception.