Commit b9814efd authored by Mário Pereira's avatar Mário Pereira

OCaml module: minor

parent df239061
......@@ -5,7 +5,7 @@ module Sys
use import mach.int.Int63
val constant max_array_length : int63
axiom non_neg_max_array_length : to_int max_array_length >= 0
axiom non_neg_max_array_length : max_array_length >= 0
end
......@@ -39,6 +39,7 @@ module OCaml
use export option.Option
use export list.List
use export seq.Seq
use export seq.OfList
use Sys
......
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