package binaryen

  1. Overview
  2. Docs
type t
val block : Module.t -> string -> t list -> t

Module, block name, expression list.

val if_ : Module.t -> t -> t -> t -> t

Module, condition, true branch, false branch. False branch may be null.

val loop : Module.t -> string -> t -> t

Module, loop name, body.

val break : Module.t -> string -> t -> t -> t

Module, block name, condition, result. Value and condition may be null.

val switch : Module.t -> string list -> string -> t -> t -> t

Module, branch names, default branch name, condition, value. Value may be null.

val call : Module.t -> string -> t list -> Type.t -> t

Module, function name, params, return type.

val call_indirect : Module.t -> t -> t list -> Type.t -> Type.t -> t

Module, function value, params, params type, return type.

val return_call : Module.t -> string -> t list -> Type.t -> t

Module, function name, params, return type.

val return_call_indirect : Module.t -> t -> t list -> Type.t -> Type.t -> t

Module, function value, params, params type, return type.

val local_get : Module.t -> int -> Type.t -> t

Module, slot, type.

val local_set : Module.t -> int -> t -> t

Module, slot, value.

val local_tee : Module.t -> int -> t -> Type.t -> t

Module, slot, value, type.

val global_get : Module.t -> string -> Type.t -> t

Module, name, type.

val global_set : Module.t -> string -> t -> t

Module, name, value.

val load : Module.t -> int -> int -> int -> Type.t -> t -> t

Module, num_bytes, offset, align, type, ptr.

val store : Module.t -> int -> int -> int -> t -> t -> Type.t -> t

Module, num_bytes, offset, align, ptr, value, type.

val const : Module.t -> Literal.t -> t
val unary : Module.t -> Op.t -> t -> t
val binary : Module.t -> Op.t -> t -> t -> t
val select : Module.t -> t -> t -> t -> t

Module, condition, true branch, false branch.

val drop : Module.t -> t -> t
val return : Module.t -> t -> t
val nop : Module.t -> t
val unreachable : Module.t -> t
val memory_copy : Module.t -> t -> t -> t -> t

Module, destination, source, size.

val memory_fill : Module.t -> t -> t -> t -> t

Module, destination, value, size.

val tuple_make : Module.t -> t list -> t

Module, items

val tuple_extract : Module.t -> t -> int -> t

Module, tuple, index

val pop : Module.t -> Type.t -> t

Module, type

val null : unit -> t

A null reference.

val print : t -> unit

Print an expression to the console.

OCaml

Innovation. Community. Security.