/* this file tests the various Reach operators */
fail(
""

+           "~ true = "
+     string ~ true
+"\n"
+           "~ false = "
+     string ~ false
+"\n"
   
+            "false & false = "
+     string (false & false)
+"\n"
+            "false & true = "
+     string (false & true)
+"\n"
+            "true & false = "
+     string (true & false)
+"\n"
+            "true & true = "
+     string (true & true)
+"\n"

+            "false | false = "
+     string (false | false)
+"\n"
+            "false | true = "
+     string (false | true)
+"\n"
+            "true | false = "
+     string (true | false)
+"\n"
+            "true | true = "
+     string (true | true)
+"\n"

+            "false ^ false = "
+     string (false ^ false)
+"\n"
+            "false ^ true = "
+     string (false ^ true)
+"\n"
+            "true ^ false = "
+     string (true ^ false)
+"\n"
+            "true ^ true = "
+     string (true ^ true)
+"\n"

+            "false -> false = "
+     string (false -> false)
+"\n"
+            "false -> true = "
+     string (false -> true)
+"\n"
+            "true -> false = "
+     string (true -> false)
+"\n"
+            "true -> true = "
+     string (true -> true)
+"\n"

+            "false <-> false = "
+     string (false <-> false)
+"\n"
+            "false <-> true = "
+     string (false <-> true)
+"\n"
+            "true <-> false = "
+     string (true <-> false)
+"\n"
+            "true <-> true = "
+     string (true <-> true)
+"\n"

)