home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / IN / RESID2.IN < prev    next >
Text File  |  1996-06-04  |  206b  |  18 lines
  1. f(s1(l=>s2)) -> 123.
  2. A=f(s1(l=>s3))?
  3. A=f(X:@(l=>Y:@))?
  4. Y=s3?
  5.  
  6. a <| t1.
  7. a <| t2.
  8. g(t1(l=>t3)) -> 123.
  9. ::t2(l=>t4).
  10. A=g(t2)?
  11.  
  12. h(x(x(x(t1(l=>t3))))) -> 123.
  13. A=h(x(x(x(t2))))?
  14.  
  15. i(t2) -> 123.
  16. A=i(X:t1(l=>t3))?
  17.  
  18.