home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / LF / LISTING2.LF < prev    next >
Text File  |  1996-06-04  |  82b  |  6 lines
  1. positive :=  I:int | I > 0.
  2. zero := I | I = 0.
  3.  
  4. listing(positive)?
  5. listing(zero)?
  6.