package sail

  1. Overview
  2. Docs
val opt_static : bool Stdlib.ref
val opt_no_main : bool Stdlib.ref
val opt_no_rts : bool Stdlib.ref
val opt_no_lib : bool Stdlib.ref
val opt_prefix : string Stdlib.ref
val opt_extra_params : string option Stdlib.ref
val opt_extra_arguments : string option Stdlib.ref
val opt_branch_coverage : bool Stdlib.ref
val optimize_primops : bool Stdlib.ref
val optimize_hoist_allocations : bool Stdlib.ref
val optimize_struct_updates : bool Stdlib.ref
val optimize_alias : bool Stdlib.ref
val optimize_fixed_int : bool Stdlib.ref
val optimize_fixed_bits : bool Stdlib.ref
val compile_ast : Type_check.Env.t -> Stdlib.out_channel -> string list -> Type_check.tannot Ast.defs -> unit
val compile_ast_clib : Type_check.Env.t -> Type_check.tannot Ast.defs -> (Jib_compile.ctx -> Jib.cdef list -> unit) -> unit
OCaml

Innovation. Community. Security.