is_total_degree_inverse_lexical_ greater_mon( Mon m1, Mon m2)

 

Type:

Predicate

Defined in:

mon.c

Implementation of the virtual predicates is_greater_mon and
is_greater_mon_pair_order.

See also:

Section 5.1,
is_total_degree_inverse_lexical_greater_pp.