package octez-l2-libs

  1. Overview
  2. Docs
package octez-l2-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_webassembly_interpreter.Values.ref_ +=
  1. | ExternRef of int32
type ref_ = Tezos_webassembly_interpreter.Values.ref_ Tezos_webassembly_interpreter.Source.phrase
and definition' =
  1. | Textual of Tezos_webassembly_interpreter.Ast.module_
  2. | Encoded of string * string
  3. | Quoted of string * string
and action' =
  1. | Invoke of var option * Tezos_webassembly_interpreter.Ast.name * literal list
  2. | Get of var option * Tezos_webassembly_interpreter.Ast.name
and nan =
  1. | CanonicalNan
  2. | ArithmeticNan
type num_pat =
  1. | NumPat of num
  2. | NanPat of nanop
type ref_pat =
  1. | RefPat of ref_
  2. | RefTypePat of Tezos_webassembly_interpreter.Types.ref_type
and result' =
  1. | NumResult of num_pat
  2. | VecResult of vec_pat
  3. | RefResult of ref_pat
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
and command' =
  1. | Module of var option * definition
  2. | Register of Tezos_webassembly_interpreter.Ast.name * var option
  3. | Action of action
  4. | Assertion of assertion
  5. | Meta of meta
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
exception Syntax of Tezos_webassembly_interpreter.Source.region * string
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct