binaryen_dsl

Writing Webassembly text format in DSL
Library binaryen_dsl
Module Binaryen_dsl . Dsl . Bound
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_binary : ( unit Ctypes_static.ptr, binary_result Ctypes.structure ) 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 expr_drop : ( module_ -> 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