X1.casl.output revision 035384b063bfd4704a0944d1b2f1d817cc384693
(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)%])
7.5: ### Warning: unused variable 'm'