package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Sc_rollup.InboxSource

Sourcetype level_proof = {
  1. hash : Inbox_merkelized_payload_hashes.Hash.t;
  2. level : Raw_level.t;
}
Sourcetype history_proof = (level_proof, Hash.t) Skip_list.cell
Sourcetype t = {
  1. level : Raw_level.t;
  2. old_levels_messages : history_proof;
}
Sourceval equal : t -> t -> bool
Sourceval inbox_level : t -> Raw_level.t
Sourceval old_levels_messages : t -> history_proof
Sourceval equal_history_proof : history_proof -> history_proof -> bool
Sourceval hash : t -> Hash.t
Sourcetype serialized_proof
Sourceval take_snapshot : t -> history_proof
Sourcetype proof
Sourceval to_serialized_proof : proof -> serialized_proof
Sourceval of_serialized_proof : serialized_proof -> proof option
Sourceval finalize_inbox_level_no_history : t -> Inbox_merkelized_payload_hashes.t -> t
Sourceval init_witness_no_history : Inbox_merkelized_payload_hashes.t
Sourcemodule Internal_for_tests : sig ... end
OCaml

Innovation. Community. Security.