X4.casl.output revision f92a9a33e08d620a0ac77dbcd22282c379047f59
(sorts Int, Nat
sorts Nat < Int
op 0 : Nat
op __-__ : Nat * Nat -> Int,[ . forall a:Nat . def a - 0 ])