Module Mavryk_webassembly_interpreter_extra.Script

type Mavryk_webassembly_interpreter.Values.ref_ +=
  1. | ExternRef of int32
type ref_ = Mavryk_webassembly_interpreter.Values.ref_ Mavryk_webassembly_interpreter.Source.phrase
and definition' =
  1. | Textual of Mavryk_webassembly_interpreter.Ast.module_
  2. | Encoded of string * string
  3. | Quoted of string * string
and action' =
  1. | Invoke of var option * Mavryk_webassembly_interpreter.Ast.name * literal list
  2. | Get of var option * Mavryk_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 Mavryk_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 Mavryk_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