binaryen_dsl

Writing Webassembly text format in DSL
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library binaryen_dsl.bindings
Module Bindings . Bindings

Parameters

module F : Cstubs.FOREIGN

Signature

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