7c7
< testing: +>=(...)
---
> testing: tata +>= toto
13c13
< testing: +>=(...)
---
> testing: toto +>= tata
19c19
< testing: +>=(...)
---
> testing: (@, @)+>=(C, C)
25c25
< testing: +>=(...)
---
> testing: (C, C)+>=(@, @)
31c31
< testing: +>=(...)
---
> testing: [@|@] +>= [C,C]
37c37
< testing: +>=(...)
---
> testing: [C|C] +>= [@|@]
43c43
< testing: +>=(...)
---
> testing: foo(a,s,d) +>= foo(a,s,d,@)
49c49
< testing: +>=(...)
---
> testing: foo(a,s,d,@) +>= foo(a,s,d)
58c58
< testing: +>(...)
---
> testing: tata +> toto
64c64
< testing: +>(...)
---
> testing: toto +> tata
70c70
< testing: +>(...)
---
> testing: (@, @)+>(C, C)
76c76
< testing: +>(...)
---
> testing: (C, C)+>(@, @)
82c82
< testing: +>(...)
---
> testing: [@|@] +> [C|C]
88c88
< testing: +>(...)
---
> testing: [C|C] +> [@|@]
94c94
< testing: +>(...)
---
> testing: foo(a,s,d) +> foo(a,s,d,@)
100c100
< testing: +>(...)
---
> testing: foo(a,s,d,@) +> foo(a,s,d)
109c109
< testing: ==(...)
---
> testing: tata == toto
115c115
< testing: ==(...)
---
> testing: toto == tata
121c121
< testing: ==(...)
---
> testing: (@, @)==(C, C)
127c127
< testing: ==(...)
---
> testing: (C, C)==(@, @)
133c133
< testing: ==(...)
---
> testing: [@|@] == [C,C]
139c139
< testing: ==(...)
---
> testing: [C|C] == [@|@]
145c145
< testing: ==(...)
---
> testing: foo(a,s,d) == foo(a,s,d,@)
151c151
< testing: ==(...)
---
> testing: foo(a,s,d,@) == foo(a,s,d)
158c158
< testing: ==(...)
---
> testing: big(tom(brain => slow_witted,father => tax_collector,favorite_exclamation => arghh!!,friend => john(face => spotty,teeth => yellow),hair => knotted,hands => clumsy,mother => witch,nose => long(spots => ugly,warts => red))) == big(tom(brain => slow_witted,father => tax_collector,favorite_exclamation => arghh!!,friend => john(face => spotty,teeth => yellow),hair => knotted,hands => clumsy,mother => witch,nose => long(spots => ugly,warts => red)))
174c174
< testing: +=<(...)
---
> testing: tata +=< toto
180c180
< testing: +=<(...)
---
> testing: toto +=< tata
186c186
< testing: +=<(...)
---
> testing: (@, @)+=<(C, C)
192c192
< testing: +=<(...)
---
> testing: (C, C)+=<(@, @)
198c198
< testing: +=<(...)
---
> testing: [@|@] +=< [C,C]
204c204
< testing: +=<(...)
---
> testing: [C|C] +=< [@|@]
210c210
< testing: +=<(...)
---
> testing: foo(a,s,d) +=< foo(a,s,d,@)
216c216
< testing: +=<(...)
---
> testing: foo(a,s,d,@) +=< foo(a,s,d)
225c225
< testing: +<(...)
---
> testing: tata +< toto
231c231
< testing: +<(...)
---
> testing: toto +< tata
237c237
< testing: +<(...)
---
> testing: (@, @)+<(C, C)
243c243
< testing: +<(...)
---
> testing: (C, C)+<(@, @)
249c249
< testing: +<(...)
---
> testing: [@|@] +< [C,C]
255c255
< testing: +<(...)
---
> testing: [C|C] +< [@|@]
261c261
< testing: +<(...)
---
> testing: foo(a,s,d) +< foo(a,s,d,@)
267c267
< testing: +<(...)
---
> testing: foo(a,s,d,@) +< foo(a,s,d)
276c276
< testing: +><(...)
---
> testing: tata +>< toto
282c282
< testing: +><(...)
---
> testing: toto +>< tata
288c288
< testing: +><(...)
---
> testing: (@, @)+><(C, C)
294c294
< testing: +><(...)
---
> testing: (C, C)+><(@, @)
300c300
< testing: +><(...)
---
> testing: [@|@] +>< [C,C]
306c306
< testing: +><(...)
---
> testing: [C|C] +>< [@|@]
312c312
< testing: +><(...)
---
> testing: foo(a,s,d) +>< foo(a,s,d,@)
318c318
< testing: +><(...)
---
> testing: foo(a,s,d,@) +>< foo(a,s,d)
325c325
< testing: \==(...)
---
> testing: big(tom(brain => slow_witted,father => tax_collector,favorite_exclamation => arghh!!,friend => john(face => spotty,teeth => yellow),hair => knotted,hands => clumsy,mother => witch,nose => long(spots => ugly,warts => red))) \== big(tom(brain => slow_witted,father => tax_collector,favorite_exclamation => arghh!!,friend => john(face => spotty,teeth => yellow),hair => knotted,hands => clumsy,mother => witch,nose => long(spots => ugly,warts => red)))
341,342c341,342
< testing: write(...)
< 	write(...)
---
> testing: write(charley)
> 	write(charley)
347c347
< testing: :==(...)
---
> testing: a :== c
393c393
< testing: +><(...)
---
> testing: f(b,c) +>< f(X,X)
