Commit 364edd4b authored by Andrei Paskevich's avatar Andrei Paskevich

update OCaml extraction driver re 2242838b

parent 2242838b
......@@ -289,8 +289,14 @@ module mach.peano.Peano
syntax val add "%1 + %2"
syntax val sub "%1 - %2"
syntax val mul "%1 * %2"
end
module mach.peano.ComputerDivision
syntax val div "%1 / %2"
syntax val mod "%1 mod %2"
end
module mach.peano.MinMax
syntax val max "max %1 %2"
syntax val min "min %1 %2"
end
......
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