+># StdEnv.wdef\r
+ #\r
+ # builtin operator definitions\r
+ #<\r
+\r
+prototype op prefix ~ a b : a -> b\r
+overload op prefix ~ N Z\r
+overload op prefix ~ Z Z\r
+overload op prefix ~ R R\r
+\r
+prototype op prefix ! a : a -> B\r
+\r
+prototype op infix AND a : a a -> a\r
+overload op infix AND N\r
+overload op infix AND Z\r
+\r
+prototype op infix OR a : a a -> a\r
+overload op infix OR N\r
+overload op infix OR Z\r
+\r
+prototype op infix XOR a : a a -> a\r
+overload op infix XOR N\r
+overload op infix XOR Z\r
+\r
+prototype op infix + a : a a -> a\r
+overload op infix + N\r
+overload op infix + Z\r
+overload op infix + R\r
+\r
+prototype op infix - a : a a -> a\r
+overload op infix - N\r
+overload op infix - Z\r
+overload op infix - R\r
+\r
+prototype op infix * a : a a -> a\r
+overload op infix * N\r
+overload op infix * Z\r
+overload op infix * R\r
+\r
+prototype op infix / a : a a -> a\r
+overload op infix / N\r
+overload op infix / Z\r
+overload op infix / R\r
+\r
+prototype op infix % a : a a -> a\r
+overload op infix % N\r
+overload op infix % Z\r
+\r
+prototype op infix > a : a a -> B\r
+overload op infix > N\r
+overload op infix > Z\r
+overload op infix > R\r
+\r
+prototype op infix < a : a a -> B\r
+overload op infix < N\r
+overload op infix < Z\r
+overload op infix < R\r
+\r
+prototype op infix == a : a a -> B\r
+overload op infix == B\r
+overload op infix == N\r
+overload op infix == Z\r
+overload op infix == R\r
+overload op infix == Char\r
+overload op infix == String\r
+\r
+prototype op infix != a : a a -> B\r
+overload op infix != B\r
+overload op infix != N\r
+overload op infix != Z\r
+overload op infix != R\r
+overload op infix != Char\r
+overload op infix != String\r
+\r
+op infix && : B B -> B\r
+op infix || : B B -> B\r