package sail

  1. Overview
  2. Docs
package sail
Legend:
Library
Module
Module type
Parameter
Class
Class type
val opt_static : bool ref
val opt_no_main : bool ref
val opt_no_rts : bool ref
val opt_no_lib : bool ref
val opt_prefix : string ref
val opt_extra_params : string option ref
val opt_extra_arguments : string option ref
val opt_branch_coverage : out_channel option ref
val optimize_primops : bool ref
val optimize_hoist_allocations : bool ref
val optimize_struct_updates : bool ref
val optimize_alias : bool ref
val optimize_fixed_int : bool ref
val optimize_fixed_bits : bool ref
val compile_ast : Type_check.Env.t -> out_channel -> string list -> Type_check.tannot Ast_defs.ast -> unit
val compile_ast_clib : Type_check.Env.t -> Type_check.tannot Ast_defs.ast -> (Jib_compile.ctx -> Jib.cdef list -> unit) -> unit