Module numeric

Numeric utilities

Functions

max_partial

Returns the maximum of two partially ordered values, returning the rhs when they are incomparable.

min_partial

Returns the minimum of two partially ordered values, returning the rhs when they are incomparable.