X4.casl revision 68b065341b3426cd3ecbdc31c0186090000ae4b6
sorts Nat < Int
op 0 : Nat
op __ - __ : Nat * Nat -> Int
sort s
var a :s
forall a : Nat
. def a - 0