package binaryen_dsl

  1. Overview
  2. Docs
type module_ = unit Ctypes.ptr
val module_ : module_ Ctypes.typ
type binary_type = Ctypes.Uintptr.t
val binary_type : Ctypes.Uintptr.t Ctypes.typ
type binary_op = int32
val binary_op : int32 Ctypes.typ
val literal_bytes_data : (int32, literal_data Ctypes.union) Ctypes.field
val binary_result_sourcemap : (char Ctypes_static.ptr, binary_result Ctypes.structure) Ctypes.field
type expression = unit Ctypes.ptr
val expression : expression Ctypes.typ
type function_ = unit Ctypes.ptr
val function_ : function_ Ctypes.typ
type export = unit Ctypes.ptr
val export : export Ctypes.typ
type global_var = unit Ctypes.ptr
val global_var : export Ctypes.typ
val module_create : (unit -> module_ B.return) B.result
val module_dispose : (module_ -> unit B.return) B.result
val type_none : (unit -> Ctypes.Uintptr.t B.return) B.result
val type_int32 : (unit -> Ctypes.Uintptr.t B.return) B.result
val type_int64 : (unit -> Ctypes.Uintptr.t B.return) B.result
val type_f32 : (unit -> Ctypes.Uintptr.t B.return) B.result
val type_f64 : (unit -> Ctypes.Uintptr.t B.return) B.result
val type_any_ref : (unit -> Ctypes.Uintptr.t B.return) B.result
val type_unreachable : (unit -> Ctypes.Uintptr.t B.return) B.result
val type_auto : (unit -> Ctypes.Uintptr.t B.return) B.result
val add_i32 : (unit -> int32 B.return) B.result
val sub_i32 : (unit -> int32 B.return) B.result
val mul_i32 : (unit -> int32 B.return) B.result
val div_si32 : (unit -> int32 B.return) B.result
val lt_si32 : (unit -> int32 B.return) B.result
val le_si32 : (unit -> int32 B.return) B.result
val gt_si32 : (unit -> int32 B.return) B.result
val ge_si32 : (unit -> int32 B.return) B.result
val eq_si32 : (unit -> int32 B.return) B.result
val ne_i32 : (unit -> int32 B.return) B.result
val literal_int32 : (int32 -> literal Ctypes.structure B.return) B.result
val literal_int64 : (int64 -> literal Ctypes.structure B.return) B.result
val literal_f32 : (float -> literal Ctypes.structure B.return) B.result
val literal_f64 : (float -> literal Ctypes.structure B.return) B.result
val expr_binary : (module_ -> int32 -> expression -> expression -> expression B.return) B.result
val expr_unreachable : (module_ -> expression B.return) B.result
val expr_return : (module_ -> expression -> expression B.return) B.result
val expr_loop : (module_ -> string -> expression -> expression B.return) B.result
val expr_break : (module_ -> string -> expression -> expression -> expression B.return) B.result
val expr_local_get : (module_ -> int -> Ctypes.Uintptr.t -> expression B.return) B.result
val expr_local_set : (module_ -> int -> expression -> expression B.return) B.result
val expr_load : (module_ -> int -> bool -> int -> int -> Ctypes.Uintptr.t -> expression -> expression B.return) B.result
val expr_store : (module_ -> int -> int -> int -> expression -> expression -> Ctypes.Uintptr.t -> expression B.return) B.result
val expr_memory_fill : (module_ -> expression -> expression -> expression -> expression B.return) B.result
val expr_memory_copy : (module_ -> expression -> expression -> expression -> expression B.return) B.result
val add_function_import : (module_ -> string -> string -> string -> Ctypes.Uintptr.t -> Ctypes.Uintptr.t -> unit B.return) B.result
val add_function_export : (module_ -> string -> string -> export B.return) B.result
val add_global : (module_ -> string -> Ctypes.Uintptr.t -> bool -> expression -> export B.return) B.result
val expr_global_get : (module_ -> string -> Ctypes.Uintptr.t -> expression B.return) B.result
val expr_global_set : (module_ -> string -> expression -> expression B.return) B.result
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
val set_debug_info : (bool -> unit B.return) B.result
val emit_text : (module_ -> string B.return) B.result
val emit_binary : (module_ -> string -> binary_result Ctypes.structure B.return) B.result
val clean_binary_result : (binary_result Ctypes.structure -> unit B.return) B.result
val dump_bytes_to_path : (unit Ctypes_static.ptr -> Unsigned.size_t -> string -> unit B.return) B.result
OCaml

Innovation. Community. Security.