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
val module_ : module_ 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 :
(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.fieldval expression : expression Ctypes.typval function_ : function_ Ctypes.typval export : export Ctypes.typval global_var : export Ctypes.typval 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_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.result