package tezos-webassembly-interpreter

  1. Overview
  2. Docs
package tezos-webassembly-interpreter
Legend:
Library
Module
Module type
Parameter
Class
Class type
type output_info = {
  1. outbox_level : int32;
    (*

    The outbox level at which the message exists.

    *)
  2. message_index : Z.t;
    (*

    The index of the message in the outbox.

    *)
}
exception Id_too_large
exception Empty_output
exception Invalid_level
exception Invalid_id
val get_level : 'a Level_Vector.t -> int32
val get_id : 'a Index_Vector.t Level_Vector.t -> (int32 * Z.t) Lwt.t
val set_level : 'a Index_Vector.t Level_Vector.t -> int32 -> unit
val index_create : 'a -> 'b Index_Vector.t
val set_value : 'a Index_Vector.t Level_Vector.t -> 'b -> unit Lwt.t
val alloc : unit -> 'a Level_Vector.t