X1.casl.output revision 2f2237571ed7885b0f1ccb2c17996e8922f3d12d
(sorts Int, Nat
sorts Nat < Int
op 0 : Int
op 0 : Nat
op __-?__ : Int * Int ->? Int
op __-?__ : Nat * Nat ->? Nat,
[def 0 %(Nat_divide_0)%])