Returns true if a value is present in the implementation passed in. Constexpr where possible.

Requires: Always available.

Complexity: Constant time.

Guarantees: Never throws an exception.