To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package sail
-
libsail
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val opt_static : bool refval opt_no_main : bool refval opt_no_rts : bool refval opt_no_lib : bool refval opt_prefix : string refval opt_extra_params : string option refval opt_extra_arguments : string option refval opt_branch_coverage : out_channel option refval optimize_primops : bool refval optimize_hoist_allocations : bool refval optimize_struct_updates : bool refval optimize_alias : bool refval optimize_fixed_int : bool refval optimize_fixed_bits : bool refval jib_of_ast :
Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Jib.cdef list * Jib_compile.ctxval compile_ast :
Type_check.Env.t ->
out_channel ->
string list ->
Type_check.tannot Ast_defs.ast ->
unitval compile_ast_clib :
Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
(Jib_compile.ctx -> Jib.cdef list -> unit) ->
unit