public interface TermOrdering
int
compare(Term p_a, Term p_b)
int compare(Term p_a, Term p_b)
p_a
p_b