fn cmp_type_order(a: LTerm, b: LTerm) -> Ordering {
  let aclass = classify::classify_term(a);
  let bclass = classify::classify_term(b);
  aclass.cmp(&bclass)
}
/// Compare order of two types without looking into their value.
Compare order of two types without looking into their value.
Compare order of two types without looking into their value .
fn cmp_type_order(a: LTerm, b: LTerm) -> Ordering {
  let aclass = classify::classify_term(a);
  let bclass = classify::classify_term(b);
  aclass.cmp(&bclass)
}
fn cmp_type_order ( a : LTerm , b : LTerm ) -> Ordering { let aclass = classify :: classify_term ( a ) ; let bclass = classify :: classify_term ( b ) ; aclass . cmp ( & bclass ) }
Compare order of two types without looking into their value.
Compare order of two types without looking into their value .
a
LTerm
b
LTerm