next up previous contents index
Next: is_total_degree_lexical_greater_el( EL el1 Up: Reference Manual Previous: is_total_degree_inverse_lexical_ greater_mon( Mon

is_total_degree_inverse_lexical_ greater_pp( PP pp1, PP pp2)

 
Type:
Virtual Predicate
Defined in:
CU.pp2el
tex2html_wrap_inline6634
Returns TRUE if pp1 is total degree inverse lexical greater than pp2.
See also:
Section 5.1.


windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998