diff options
Diffstat (limited to 'src/jib/c_backend.mli')
| -rw-r--r-- | src/jib/c_backend.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/jib/c_backend.mli b/src/jib/c_backend.mli index 3e8c426b..4628691d 100644 --- a/src/jib/c_backend.mli +++ b/src/jib/c_backend.mli @@ -100,6 +100,7 @@ val optimize_primops : bool ref val optimize_hoist_allocations : bool ref val optimize_struct_updates : bool ref val optimize_alias : bool ref +val optimize_int128 : bool ref (** Convert a typ to a IR ctyp *) val ctyp_of_typ : Jib_compile.ctx -> Ast.typ -> ctyp |