package tezos-protocol-014-PtKathma

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type input = {
  1. inbox_level : Bounded.Int32.NonNegative.t;
  2. message_counter : Z.t;
}
type output = {
  1. outbox_level : Bounded.Int32.NonNegative.t;
  2. message_index : Z.t;
}
type input_request =
  1. | No_input_required
  2. | Input_required
type info = {
  1. current_tick : Z.t;
  2. last_input_read : input option;
  3. input_request : input_request;
}
module Make (Tree : sig ... end) : sig ... end
OCaml

Innovation. Community. Security.