Function partial_le 

pub fn partial_le<T>(a: &T, b: &T) -> bool
where
    T: PartialOrd,

Returns true iff a and b are comparable and a <= b.