Skip to content

why3
why3
Commit 26b2b97c authored by Mário Pereira's avatar Mário Pereira
Browse files
Options

OCaml64: added constant one from mach.peano.Peano

parent bea2bd78
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 0 deletions
drivers/ocaml64.drv
View file @ 26b2b97c
......@@ -254,6 +254,7 @@ module mach.peano.Peano
syntax val to_int "Z.of_int %1"
syntax val of_int "Z.to_int %1"
syntax val zero "0"
syntax val one "1"
syntax val succ "%1 + 1"
syntax val pred "%1 - 1"
syntax val lt "%1 < %2"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment