-># 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