binaryen_dsl 0.7 (latest) · OCaml Package

module CI = Cstubs_internals

val binaryen_stub_1_BinaryenModuleCreate : unit -> CI.voidp

val binaryen_stub_2_BinaryenModuleDispose : (_, _) CI.fatptr -> unit

val binaryen_stub_3_BinaryenTypeNone : unit -> Unsigned.uint64

val binaryen_stub_4_BinaryenTypeInt32 : unit -> Unsigned.uint64

val binaryen_stub_5_BinaryenTypeInt64 : unit -> Unsigned.uint64

val binaryen_stub_6_BinaryenTypeFloat32 : unit -> Unsigned.uint64

val binaryen_stub_7_BinaryenTypeFloat64 : unit -> Unsigned.uint64

val binaryen_stub_8_BinaryenTypeAnyref : unit -> Unsigned.uint64

val binaryen_stub_9_BinaryenTypeUnreachable : unit -> Unsigned.uint64

val binaryen_stub_10_BinaryenTypeAuto : unit -> Unsigned.uint64

val binaryen_stub_11_BinaryenTypeCreate : 
  (_, _) CI.fatptr ->
  Unsigned.uint32 ->
  Unsigned.uint64

val binaryen_stub_12_BinaryenAddInt32 : unit -> int32

val binaryen_stub_13_BinaryenSubInt32 : unit -> int32

val binaryen_stub_14_BinaryenMulInt32 : unit -> int32

val binaryen_stub_15_BinaryenDivSInt32 : unit -> int32

val binaryen_stub_16_BinaryenLtSInt32 : unit -> int32

val binaryen_stub_17_BinaryenLeSInt32 : unit -> int32

val binaryen_stub_18_BinaryenGtSInt32 : unit -> int32

val binaryen_stub_19_BinaryenGeSInt32 : unit -> int32

val binaryen_stub_20_BinaryenEqInt32 : unit -> int32

val binaryen_stub_21_BinaryenNeInt32 : unit -> int32

val binaryen_stub_22_BinaryenLiteralInt32 : int32 -> CI.managed_buffer

val binaryen_stub_23_BinaryenLiteralInt64 : int64 -> CI.managed_buffer

val binaryen_stub_24_BinaryenLiteralFloat32 : float -> CI.managed_buffer

val binaryen_stub_25_BinaryenLiteralFloat64 : float -> CI.managed_buffer

val binaryen_stub_26_BinaryenBlock : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  Unsigned.size_t ->
  Unsigned.uint64 ->
  CI.voidp

val binaryen_stub_27_BinaryenConst : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_28_BinaryenBinary : 
  (_, _) CI.fatptr ->
  int32 ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_29_BinaryenUnreachable : (_, _) CI.fatptr -> CI.voidp

val binaryen_stub_30_BinaryenReturn : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_31_BinaryenIf : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_32_BinaryenLoop : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_33_BinaryenBreak : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_34_BinaryenLocalGet : 
  (_, _) CI.fatptr ->
  int ->
  Unsigned.uint64 ->
  CI.voidp

val binaryen_stub_35_BinaryenLocalSet : 
  (_, _) CI.fatptr ->
  int ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_36_BinaryenLoad : 
  (_, _) CI.fatptr ->
  int ->
  bool ->
  int ->
  int ->
  Unsigned.uint64 ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_37_BinaryenStore : 
  (_, _) CI.fatptr ->
  int ->
  int ->
  int ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  Unsigned.uint64 ->
  CI.voidp

val binaryen_stub_38_BinaryenCall : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  Unsigned.size_t ->
  Unsigned.uint64 ->
  CI.voidp

val binaryen_stub_39_BinaryenMemoryFill : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_40_BinaryenMemoryCopy : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_41_BinaryenAddFunction : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  Unsigned.uint64 ->
  Unsigned.uint64 ->
  (_, _) CI.fatptr ->
  Unsigned.size_t ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_42_BinaryenAddFunctionImport : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  Unsigned.uint64 ->
  Unsigned.uint64 ->
  unit

val binaryen_stub_43_BinaryenAddFunctionExport : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_44_BinaryenAddGlobal : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  Unsigned.uint64 ->
  bool ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_45_BinaryenGlobalGet : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  Unsigned.uint64 ->
  CI.voidp

val binaryen_stub_46_BinaryenGlobalSet : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_47_BinaryenDrop : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_48_BinaryenSetMemory : 
  (_, _) CI.fatptr ->
  int ->
  int ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  Unsigned.size_t ->
  bool ->
  unit

val binaryen_stub_49_BinaryenSetDebugInfo : bool -> unit

val binaryen_stub_50_BinaryenModuleAllocateAndWriteText : 
  (_, _) CI.fatptr ->
  CI.voidp

val binaryen_stub_51_BinaryenModuleAllocateAndWrite : 
  (_, _) CI.fatptr ->
  (_, _) CI.fatptr ->
  CI.managed_buffer

val binaryen_stub_52_clean_binary_result : (_, _) CI.fatptr -> unit

val binaryen_stub_53_dump_bytes_to_path : 
  (_, _) CI.fatptr ->
  Unsigned.size_t ->
  (_, _) CI.fatptr ->
  unit

type 'a result = 'a

type 'a return = 'a

type 'a fn =

| Returns : 'a CI.typ -> 'a return fn
| Function : 'a CI.typ * 'b fn -> ('a -> 'b) fn

val map_result : ('a -> 'b) -> 'a -> 'b

val returning : 'a CI.typ -> 'a return fn

val (@->) : 'a CI.typ -> 'b fn -> ('a -> 'b) fn

val foreign : 'a 'b. string -> ('a -> 'b) fn -> 'a -> 'b

val foreign_value : 'a. string -> 'a Ctypes.typ -> 'a Ctypes.ptr

package binaryen_dsl