Rust: Add models for core::cmp::Ord::{min,max,clamp}

Rust: Add models for core::cmp::Ord::{min,max,clamp} #6948