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