package wasm

  1. Overview
  2. Docs
Library to read and write WebAssembly (Wasm) files and manipulate their AST

Install

Dune Dependency

Authors

Maintainers

Sources

opam-2.0.2.zip
md5=5129a11a3426689d0e9e027b2d9b8d5e
sha256=6dae267d47b92ac1d6cb47b34ab4108c4cf7471f35969bf75676a1620a9284cb

doc/wasm/Wasm/Script/index.html

Module Wasm.Script

type var = string Source.phrase
type Values.ref_ +=
  1. | ExternRef of int32
type definition = definition' Source.phrase
and definition' =
  1. | Textual of Ast.module_
  2. | Encoded of string * string
  3. | Quoted of string * string
type action = action' Source.phrase
and action' =
  1. | Invoke of var option * Ast.name * literal list
  2. | Get of var option * Ast.name
type nanop = nanop' Source.phrase
and nanop' = (Lib.void, Lib.void, nan, nan) Values.op
and nan =
  1. | CanonicalNan
  2. | ArithmeticNan
type num_pat =
  1. | NumPat of num
  2. | NanPat of nanop
type vec_pat =
  1. | VecPat of (V128.shape * num_pat list) Values.vecop
type ref_pat =
  1. | RefPat of ref_
  2. | RefTypePat of Types.ref_type
type result = result' Source.phrase
and result' =
  1. | NumResult of num_pat
  2. | VecResult of vec_pat
  3. | RefResult of ref_pat
type assertion = assertion' Source.phrase
and assertion' =
  1. | AssertMalformed of definition * string
  2. | AssertInvalid of definition * string
  3. | AssertUnlinkable of definition * string
  4. | AssertUninstantiable of definition * string
  5. | AssertReturn of action * result list
  6. | AssertTrap of action * string
  7. | AssertExhaustion of action * string
type command = command' Source.phrase
and command' =
  1. | Module of var option * definition
  2. | Register of Ast.name * var option
  3. | Action of action
  4. | Assertion of assertion
  5. | Meta of meta
and meta = meta' Source.phrase
and meta' =
  1. | Input of var option * string
  2. | Output of var option * string option
  3. | Script of var option * script
and script = command list
OCaml

Innovation. Community. Security.