1c1
< testing: +>=(...)
---
> testing: tata +>= toto
3c3
< testing: +>=(...)
---
> testing: toto +>= tata
5c5
< testing: +>=(...)
---
> testing: (@, @)+>=(_A, _A)
7c7
< testing: +>=(...)
---
> testing: (_A, _A)+>=(@, @)
9c9
< testing: +>=(...)
---
> testing: [@|@] +>= [_A,_A]
11c11
< testing: +>=(...)
---
> testing: [_A|_A] +>= [@|@]
13c13
< testing: +>=(...)
---
> testing: foo(a,s,d) +>= foo(a,s,d,@)
15c15
< testing: +>=(...)
---
> testing: foo(a,s,d,@) +>= foo(a,s,d)
17c17
< testing: +>(...)
---
> testing: tata +> toto
19c19
< testing: +>(...)
---
> testing: toto +> tata
21c21
< testing: +>(...)
---
> testing: (@, @)+>(_A, _A)
23c23
< testing: +>(...)
---
> testing: (_A, _A)+>(@, @)
25c25
< testing: +>(...)
---
> testing: [@|@] +> [_A|_A]
27c27
< testing: +>(...)
---
> testing: [_A|_A] +> [@|@]
29c29
< testing: +>(...)
---
> testing: foo(a,s,d) +> foo(a,s,d,@)
31c31
< testing: +>(...)
---
> testing: foo(a,s,d,@) +> foo(a,s,d)
33c33
< testing: ==(...)
---
> testing: tata == toto
35c35
< testing: ==(...)
---
> testing: toto == tata
37c37
< testing: ==(...)
---
> testing: (@, @)==(_A, _A)
39c39
< testing: ==(...)
---
> testing: (_A, _A)==(@, @)
41c41
< testing: ==(...)
---
> testing: [@|@] == [_A,_A]
43c43
< testing: ==(...)
---
> testing: [_A|_A] == [@|@]
45c45
< testing: ==(...)
---
> testing: foo(a,s,d) == foo(a,s,d,@)
47c47
< testing: ==(...)
---
> testing: foo(a,s,d,@) == foo(a,s,d)
49c49
< 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)))
55c55
< testing: +=<(...)
---
> testing: tata +=< toto
57c57
< testing: +=<(...)
---
> testing: toto +=< tata
59c59
< testing: +=<(...)
---
> testing: (@, @)+=<(_A, _A)
61c61
< testing: +=<(...)
---
> testing: (_A, _A)+=<(@, @)
63c63
< testing: +=<(...)
---
> testing: [@|@] +=< [_A,_A]
65c65
< testing: +=<(...)
---
> testing: [_A|_A] +=< [@|@]
67c67
< testing: +=<(...)
---
> testing: foo(a,s,d) +=< foo(a,s,d,@)
69c69
< testing: +=<(...)
---
> testing: foo(a,s,d,@) +=< foo(a,s,d)
71c71
< testing: +<(...)
---
> testing: tata +< toto
73c73
< testing: +<(...)
---
> testing: toto +< tata
75c75
< testing: +<(...)
---
> testing: (@, @)+<(_A, _A)
77c77
< testing: +<(...)
---
> testing: (_A, _A)+<(@, @)
79c79
< testing: +<(...)
---
> testing: [@|@] +< [_A,_A]
81c81
< testing: +<(...)
---
> testing: [_A|_A] +< [@|@]
83c83
< testing: +<(...)
---
> testing: foo(a,s,d) +< foo(a,s,d,@)
85c85
< testing: +<(...)
---
> testing: foo(a,s,d,@) +< foo(a,s,d)
87c87
< testing: +><(...)
---
> testing: tata +>< toto
89c89
< testing: +><(...)
---
> testing: toto +>< tata
91c91
< testing: +><(...)
---
> testing: (@, @)+><(_A, _A)
93c93
< testing: +><(...)
---
> testing: (_A, _A)+><(@, @)
95c95
< testing: +><(...)
---
> testing: [@|@] +>< [_A,_A]
97c97
< testing: +><(...)
---
> testing: [_A|_A] +>< [@|@]
99c99
< testing: +><(...)
---
> testing: foo(a,s,d) +>< foo(a,s,d,@)
101c101
< testing: +><(...)
---
> testing: foo(a,s,d,@) +>< foo(a,s,d)
103c103
< 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)))
109c109
< testing: +><(...)
---
> testing: f(b,c) +>< f(_A,_A)
