libreal::rel::ord
pub enum Ord {}
impl<A: Ord> TotalOrderRelation<A> for Ord
fn cmp(x: &A, y: &A) -> Ordering
fn less(x: &A, y: &A) -> bool
fn less_or_equal(x: &A, y: &A) -> bool