Function na::inf

pub fn inf<T>(a: &T, b: &T) -> T where
    T: MeetSemilattice, 

Returns the infimum of a and b.