Function creusot_contracts::std::cmp::min

pub fn min<T>(v1: T, v2: T) -> T
where
    T: Ord,

Compares and returns the minimum of two values.

Returns the first argument if the comparison determines them to be equal.

Internally uses an alias to Ord::min.

Examples

use std::cmp;

assert_eq!(cmp::min(1, 2), 1);
assert_eq!(cmp::min(2, 2), 2);