next up previous contents index
Next: is_empty_pl( PL pl) Up: Reference Manual Previous: is_disjoint_pp( PP pp1

is_empty_pas( PaS pas)

Type:
Macro
Defined in:
pa.h
tex2html_wrap_inline6634
Returns TRUE if pas is the empty (pair) set.


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