lattices::test

Function check_partial_ord_properties

Source 
pub fn check_partial_ord_properties<T: PartialOrd + PartialEq + Debug>(
    items: &[T],
)
Expand description

Checks PartialOrd and PartialEq’s reflexivity, symmetry, transitivity, and duality.