Function display_orderings 

pub fn display_orderings(
    f: &mut Formatter<'_>,
    orderings: &[LexOrdering],
) -> Result