package binaryen_dsl
-
binaryen_dsl
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package binaryen_dsl
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type module_ = unit Ctypes.ptrval module_ : module_ Ctypes.typtype binary_type = Ctypes.Uintptr.tval binary_type : Ctypes.Uintptr.t Ctypes.typval binary_op : int32 Ctypes.typtype literal_data = Bindings.Bindings(B).literal_dataval literal_data : literal_data Ctypes.union Ctypes.typval literal_bytes_data : (int32, literal_data Ctypes.union) Ctypes.fieldval literal_data_v128_ty : Unsigned.uint8 Ctypes_static.carray Ctypes.typval literal_data_v128 :
(Unsigned.uint8 Ctypes_static.carray, literal_data Ctypes.union) Ctypes.fieldtype literal = Bindings.Bindings(B).literalval literal : literal Ctypes.structure Ctypes.typval literal_type : (Ctypes.Uintptr.t, literal Ctypes.structure) Ctypes.fieldval liteal_data :
(literal_data Ctypes.union, literal Ctypes.structure) Ctypes.fieldtype binary_result = Bindings.Bindings(B).binary_resultval binary_result : binary_result Ctypes.structure Ctypes.typval binary_result_binary :
(unit Ctypes_static.ptr, binary_result Ctypes.structure) Ctypes.fieldval binary_result_size :
(Unsigned.size_t, binary_result Ctypes.structure) Ctypes.fieldval binary_result_sourcemap :
(char Ctypes_static.ptr, binary_result Ctypes.structure) Ctypes.fieldtype expression = unit Ctypes.ptrval expression : expression Ctypes.typtype function_ = unit Ctypes.ptrval function_ : function_ Ctypes.typtype export = unit Ctypes.ptrval export : export Ctypes.typtype global_var = unit Ctypes.ptrval global_var : export Ctypes.typval type_none : (unit -> Ctypes.Uintptr.t B.return) B.resultval type_int32 : (unit -> Ctypes.Uintptr.t B.return) B.resultval type_int64 : (unit -> Ctypes.Uintptr.t B.return) B.resultval type_f32 : (unit -> Ctypes.Uintptr.t B.return) B.resultval type_f64 : (unit -> Ctypes.Uintptr.t B.return) B.resultval type_any_ref : (unit -> Ctypes.Uintptr.t B.return) B.resultval type_unreachable : (unit -> Ctypes.Uintptr.t B.return) B.resultval type_auto : (unit -> Ctypes.Uintptr.t B.return) B.resultval type_multiples :
(Ctypes.Uintptr.t Ctypes_static.ptr ->
Unsigned.uint32 ->
Ctypes.Uintptr.t B.return)
B.resultval literal_int32 : (int32 -> literal Ctypes.structure B.return) B.resultval literal_int64 : (int64 -> literal Ctypes.structure B.return) B.resultval literal_f32 : (float -> literal Ctypes.structure B.return) B.resultval literal_f64 : (float -> literal Ctypes.structure B.return) B.resultval expr_block :
(module_ ->
char Ctypes_static.ptr ->
expression Ctypes_static.ptr ->
Unsigned.size_t ->
Ctypes.Uintptr.t ->
expression B.return)
B.resultval expr_const :
(module_ -> literal Ctypes.structure -> expression B.return) B.resultval expr_binary :
(module_ ->
int32 ->
expression ->
expression ->
expression B.return)
B.resultval expr_unreachable : (module_ -> expression B.return) B.resultval expr_return : (module_ -> expression -> expression B.return) B.resultval expr_if :
(module_ ->
expression ->
expression ->
expression ->
expression B.return)
B.resultval expr_loop :
(module_ -> string -> expression -> expression B.return) B.resultval expr_break :
(module_ ->
string ->
expression ->
expression ->
expression B.return)
B.resultval expr_local_get :
(module_ -> int -> Ctypes.Uintptr.t -> expression B.return) B.resultval expr_local_set :
(module_ -> int -> expression -> expression B.return) B.resultval expr_load :
(module_ ->
int ->
bool ->
int ->
int ->
Ctypes.Uintptr.t ->
expression ->
expression B.return)
B.resultval expr_store :
(module_ ->
int ->
int ->
int ->
expression ->
expression ->
Ctypes.Uintptr.t ->
expression B.return)
B.resultval expr_call :
(module_ ->
string ->
expression Ctypes_static.ptr ->
Unsigned.size_t ->
Ctypes.Uintptr.t ->
expression B.return)
B.resultval expr_memory_fill :
(module_ ->
expression ->
expression ->
expression ->
expression B.return)
B.resultval expr_memory_copy :
(module_ ->
expression ->
expression ->
expression ->
expression B.return)
B.resultval add_function :
(module_ ->
string ->
Ctypes.Uintptr.t ->
Ctypes.Uintptr.t ->
Ctypes.Uintptr.t Ctypes_static.ptr ->
Unsigned.size_t ->
expression ->
function_ B.return)
B.resultval add_function_import :
(module_ ->
string ->
string ->
string ->
Ctypes.Uintptr.t ->
Ctypes.Uintptr.t ->
unit B.return)
B.resultval add_global :
(module_ ->
string ->
Ctypes.Uintptr.t ->
bool ->
expression ->
export B.return)
B.resultval expr_global_get :
(module_ -> string -> Ctypes.Uintptr.t -> expression B.return) B.resultval expr_global_set :
(module_ -> string -> expression -> expression B.return) B.resultval expr_drop : (module_ -> expression -> expression B.return) B.resultval set_memory :
(module_ ->
int ->
int ->
string ->
string Ctypes_static.ptr ->
bool Ctypes_static.ptr ->
expression Ctypes_static.ptr ->
Unsigned.uint32 Ctypes_static.ptr ->
Unsigned.size_t ->
bool ->
unit B.return)
B.resultval emit_binary :
(module_ -> string -> binary_result Ctypes.structure B.return) B.resultval clean_binary_result :
(binary_result Ctypes.structure -> unit B.return) B.resultval dump_bytes_to_path :
(unit Ctypes_static.ptr ->
Unsigned.size_t ->
string ->
unit B.return)
B.result