Module `Dsl.Bound`Source

Sourcetype module_ = unit Ctypes.ptr

Sourceval module_ : module_ Ctypes.typ

Sourcetype binary_type = Ctypes.Uintptr.t

Sourceval binary_type : Ctypes.Uintptr.t Ctypes.typ

Sourcetype binary_op = int32

Sourceval binary_op : int32 Ctypes.typ

Sourcetype literal_data = Bindings.Bindings(B).literal_data

Sourceval literal_data : literal_data Ctypes.union Ctypes.typ

Sourceval literal_bytes_data : (int32, literal_data Ctypes.union) Ctypes.field

Sourceval literal_data_v128_ty : Unsigned.uint8 Ctypes_static.carray Ctypes.typ

Source

val literal_data_v128 : 
  (Unsigned.uint8 Ctypes_static.carray, literal_data Ctypes.union) Ctypes.field

Sourcetype literal = Bindings.Bindings(B).literal

Sourceval literal : literal Ctypes.structure Ctypes.typ

Sourceval literal_type : (Ctypes.Uintptr.t, literal Ctypes.structure) Ctypes.field

Source

val liteal_data : 
  (literal_data Ctypes.union, literal Ctypes.structure) Ctypes.field

Sourcetype binary_result = Bindings.Bindings(B).binary_result

Sourceval binary_result : binary_result Ctypes.structure Ctypes.typ

Source

val binary_result_binary : 
  (unit Ctypes_static.ptr, binary_result Ctypes.structure) Ctypes.field

Source

val binary_result_size : 
  (Unsigned.size_t, binary_result Ctypes.structure) Ctypes.field

Source

val binary_result_sourcemap : 
  (char Ctypes_static.ptr, binary_result Ctypes.structure) Ctypes.field

Sourcetype expression = unit Ctypes.ptr

Sourceval expression : expression Ctypes.typ

Sourcetype function_ = unit Ctypes.ptr

Sourceval function_ : function_ Ctypes.typ

Sourcetype export = unit Ctypes.ptr

Sourceval export : export Ctypes.typ

Sourcetype global_var = unit Ctypes.ptr

Sourceval global_var : export Ctypes.typ

Sourceval module_create : (unit -> module_ B.return) B.result

Sourceval module_dispose : (module_ -> unit B.return) B.result

Sourceval type_none : (unit -> Ctypes.Uintptr.t B.return) B.result

Sourceval type_int32 : (unit -> Ctypes.Uintptr.t B.return) B.result

Sourceval type_int64 : (unit -> Ctypes.Uintptr.t B.return) B.result

Sourceval type_f32 : (unit -> Ctypes.Uintptr.t B.return) B.result

Sourceval type_f64 : (unit -> Ctypes.Uintptr.t B.return) B.result

Sourceval type_any_ref : (unit -> Ctypes.Uintptr.t B.return) B.result

Sourceval type_unreachable : (unit -> Ctypes.Uintptr.t B.return) B.result

Sourceval type_auto : (unit -> Ctypes.Uintptr.t B.return) B.result

Source

val type_multiples : 
  (Ctypes.Uintptr.t Ctypes_static.ptr ->
    Unsigned.uint32 ->
    Ctypes.Uintptr.t B.return)
    B.result

Sourceval add_i32 : (unit -> int32 B.return) B.result

Sourceval sub_i32 : (unit -> int32 B.return) B.result

Sourceval mul_i32 : (unit -> int32 B.return) B.result

Sourceval div_si32 : (unit -> int32 B.return) B.result

Sourceval lt_si32 : (unit -> int32 B.return) B.result

Sourceval le_si32 : (unit -> int32 B.return) B.result

Sourceval gt_si32 : (unit -> int32 B.return) B.result

Sourceval ge_si32 : (unit -> int32 B.return) B.result

Sourceval eq_si32 : (unit -> int32 B.return) B.result

Sourceval ne_i32 : (unit -> int32 B.return) B.result

Sourceval literal_int32 : (int32 -> literal Ctypes.structure B.return) B.result

Sourceval literal_int64 : (int64 -> literal Ctypes.structure B.return) B.result

Sourceval literal_f32 : (float -> literal Ctypes.structure B.return) B.result

Sourceval literal_f64 : (float -> literal Ctypes.structure B.return) B.result

Source

val expr_block : 
  (module_ ->
    char Ctypes_static.ptr ->
    expression Ctypes_static.ptr ->
    Unsigned.size_t ->
    Ctypes.Uintptr.t ->
    expression B.return)
    B.result

Source

val expr_const : 
  (module_ -> literal Ctypes.structure -> expression B.return) B.result

Source

val expr_binary : 
  (module_ ->
    int32 ->
    expression ->
    expression ->
    expression B.return)
    B.result

Sourceval expr_unreachable : (module_ -> expression B.return) B.result

Sourceval expr_return : (module_ -> expression -> expression B.return) B.result

Source

val expr_if : 
  (module_ ->
    expression ->
    expression ->
    expression ->
    expression B.return)
    B.result

Source

val expr_loop : 
  (module_ -> string -> expression -> expression B.return) B.result

Source

val expr_break : 
  (module_ ->
    string ->
    expression ->
    expression ->
    expression B.return)
    B.result

Source

val expr_local_get : 
  (module_ -> int -> Ctypes.Uintptr.t -> expression B.return) B.result

Source

val expr_local_set : 
  (module_ -> int -> expression -> expression B.return) B.result

Source

val expr_load : 
  (module_ ->
    int ->
    bool ->
    int ->
    int ->
    Ctypes.Uintptr.t ->
    expression ->
    expression B.return)
    B.result

Source

val expr_store : 
  (module_ ->
    int ->
    int ->
    int ->
    expression ->
    expression ->
    Ctypes.Uintptr.t ->
    expression B.return)
    B.result

Source

val expr_call : 
  (module_ ->
    string ->
    expression Ctypes_static.ptr ->
    Unsigned.size_t ->
    Ctypes.Uintptr.t ->
    expression B.return)
    B.result

Source

val expr_memory_fill : 
  (module_ ->
    expression ->
    expression ->
    expression ->
    expression B.return)
    B.result

Source

val expr_memory_copy : 
  (module_ ->
    expression ->
    expression ->
    expression ->
    expression B.return)
    B.result

Source

val add_function : 
  (module_ ->
    string ->
    Ctypes.Uintptr.t ->
    Ctypes.Uintptr.t ->
    Ctypes.Uintptr.t Ctypes_static.ptr ->
    Unsigned.size_t ->
    expression ->
    function_ B.return)
    B.result

Source

val add_function_import : 
  (module_ ->
    string ->
    string ->
    string ->
    Ctypes.Uintptr.t ->
    Ctypes.Uintptr.t ->
    unit B.return)
    B.result

Source

val add_function_export : 
  (module_ -> string -> string -> export B.return) B.result

Source

val add_global : 
  (module_ ->
    string ->
    Ctypes.Uintptr.t ->
    bool ->
    expression ->
    export B.return)
    B.result

Source

val expr_global_get : 
  (module_ -> string -> Ctypes.Uintptr.t -> expression B.return) B.result

Source

val expr_global_set : 
  (module_ -> string -> expression -> expression B.return) B.result

Sourceval expr_drop : (module_ -> expression -> expression B.return) B.result

Source

val 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.result

Sourceval set_debug_info : (bool -> unit B.return) B.result

Sourceval emit_text : (module_ -> string B.return) B.result

Source

val emit_binary : 
  (module_ -> string -> binary_result Ctypes.structure B.return) B.result

Source

val clean_binary_result : 
  (binary_result Ctypes.structure -> unit B.return) B.result

Source

val dump_bytes_to_path : 
  (unit Ctypes_static.ptr ->
    Unsigned.size_t ->
    string ->
    unit B.return)
    B.result

package binaryen_dsl

Module Dsl.BoundSource

Module `Dsl.Bound`Source