Type Alias TermOrdering 

pub type TermOrdering = fn(&Term, &Term) -> Ordering;

Ordering function type: returns Ordering for two terms.