home *** CD-ROM | disk | FTP | other *** search
- fn: nam=<x> parms=<c> def=<(y(c,3))>
- <xxxxxxxx>
- fn: nam=<y> parms=<ab> def=<x(a+b)>
- <yyyyyy>
- 0: y(x(2),1)
- :
- 1: x(2)
- :
- 1.1: 2
- :
- 1R: x(_)
- :
- 1R: (y(c,3))
- : xxxxxxxx
- 1R: (y(2,3))
- : xxxxxxxx
- 1: (y(2,3))
- : xxxxxxxx
- 1.1: 2
- : x
- 1.2: 3
- : x
- 1R: y(_,_)
- :
- 1R: x(a+b)
- : yyyyyy
- hide-set #0 = {xy}
- 1R: x(2+b)
- : yy0yyy
- 1R: x(2+3)
- : yy0y0y
- 1: (x(2+3))
- : x000000x
- 1: (X(2+3))
- : x000000x
- 2: 1
- :
- 0R: y(_,_)
- :
- 0R: x(a+b)
- : yyyyyy
- 0R: x((X(2+3))+b)
- : yy00000000yyy
- 0R: x((X(2+3))+1)
- : yy00000000yyy
- 0: x((X(2+3))+1)
- : yy00000000yyy
- 1: (X(2+3))+1
- : 00000000yy
- 0R: x(_)
- :
- 0R: (y(c,3))
- : xxxxxxxx
- 0R: (y((X(2+3))+1,3))
- : xxx0000000000xxxx
- 0: (y((X(2+3))+1,3))
- : 00000000000000000
- 0: (Y((X(2+3))+1,3))
- : 00000000000000000
- 0: (y((x(2+3))+1,3))
- :