incorrect postcondition in documentation

[anonymous]

I don't think the following postcondition for "insert" on associative sequences is correct:

typedef insert<s,x>::type r; Postcondition: size<r>::value == size<s>::value + 1.

if r contains x, size<r>::value == size<s>::value