package octez-l2-libs

  1. Overview
  2. Docs
package octez-l2-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_webassembly_interpreter_extra.ScriptSource

Sourcetype ref_ = Tezos_webassembly_interpreter.Values.ref_ Tezos_webassembly_interpreter.Source.phrase
Sourceand definition' =
  1. | Textual of Tezos_webassembly_interpreter.Ast.module_
  2. | Encoded of string * string
  3. | Quoted of string * string
Sourceand nan =
  1. | CanonicalNan
  2. | ArithmeticNan
Sourcetype num_pat =
  1. | NumPat of num
  2. | NanPat of nanop
Sourcetype ref_pat =
  1. | RefPat of ref_
  2. | RefTypePat of Tezos_webassembly_interpreter.Types.ref_type
Sourceand result' =
  1. | NumResult of num_pat
  2. | VecResult of vec_pat
  3. | RefResult of ref_pat
Sourceand 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
Sourceand 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
Sourceand meta' =
  1. | Input of var option * string
  2. | Output of var option * string option
  3. | Script of var option * script
Sourceand script = command list
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