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