next up previous contents index
Next: is_total_degree_lexical_greater_mon( Mon m1 Up: Reference Manual Previous: is_total_degree_inverse_lexical_ greater_pp( PP

is_total_degree_lexical_greater_el( EL el1, EL el2)

 
Type:
Predicate
Defined in:
el.c
tex2html_wrap_inline6634
Implementation of virtual predicate is_total_degree_lexical_greater_pp.
See also:
is_total_degree_lexical_greater_pp.



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