diff options
Diffstat (limited to 'src/jib/jib_compile.mli')
| -rw-r--r-- | src/jib/jib_compile.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/jib/jib_compile.mli b/src/jib/jib_compile.mli index a0cacc3c..12cd4a63 100644 --- a/src/jib/jib_compile.mli +++ b/src/jib/jib_compile.mli @@ -64,7 +64,7 @@ val opt_debug_flow_graphs : bool ref val opt_debug_function : string ref val ngensym : unit -> name - + (** {2 Jib context} *) (** Context for compiling Sail to Jib. We need to pass a (global) @@ -82,7 +82,9 @@ type ctx = letbinds : int list; no_raw : bool; convert_typ : ctx -> typ -> ctyp; - optimize_anf : ctx -> typ aexp -> typ aexp + optimize_anf : ctx -> typ aexp -> typ aexp; + specialize_calls : bool; + ignore_64 : bool } val initial_ctx : |