package tezos-webassembly-interpreter

  1. Overview
  2. Docs
package tezos-webassembly-interpreter
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Set : Set.S with type elt = int32
type t = {
  1. types : Set.t;
  2. globals : Set.t;
  3. tables : Set.t;
  4. memories : Set.t;
  5. funcs : Set.t;
  6. elems : Set.t;
  7. datas : Set.t;
  8. locals : Set.t;
  9. labels : Set.t;
}
val empty : t
val func : Ast.block_table -> Ast.func -> t Lwt.t
val module_ : Ast.module_ -> t Lwt.t
val list : ('a -> t) -> 'a list -> t