Function creusot_contracts::std::cmp::max

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

Compares and returns the maximum of two values.

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

Internally uses an alias to Ord::max.

Examples

use std::cmp;

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