home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / COMPOSE2.REF < prev    next >
Text File  |  1996-06-04  |  449b  |  23 lines
  1.  
  2. *** Yes
  3. > > 
  4. *** No
  5. > > 
  6. *** Yes
  7. X = comp(func1 => comp(func1 => succ,func2 => succ),func2 => succ).
  8. --1> 
  9. *** No
  10. > 
  11. *** No
  12. > > 
  13. *** Yes
  14. X = comp(func1 => comp(func1 => comp(func1 => comp(func1 => succ,func2 => succ),
  15.                                      func2 => succ),
  16.                        func2 => comp(func1 => comp(func1 => succ,func2 => succ),
  17.                                      func2 => succ)),
  18.          func2 => succ).
  19.  
  20. --1> 
  21. *** No
  22. > 
  23.