Mavryk_basemodule Block_header : sig ... endmodule Block_locator : sig ... endA locator t is a data structure which roughly represents a list of block hashes in the chain. These hashes go from the top of the chain to the bottom. It is sparse in the sense that the distance between two hashes increases exponentially when we move away from the head.
module Bounded : sig ... endThis module implements bounded (or refined) versions of data types.
module Dal_srs : sig ... endmodule Data_encoding_wrapper : sig ... endmodule Distributed_db_version : sig ... endDistributed_db protocol version.
module Fitness : sig ... endmodule Genesis : sig ... endmodule Internal_event_config : sig ... endConfigure the event-logging framework.
module Mempool : sig ... endMavryk Shell Module - Mempool, a.k.a. the operations safe to be broadcast.
module Network_version : sig ... endmodule Operation : sig ... endmodule P2p_addr : sig ... endmodule P2p_connection : sig ... endmodule P2p_identity : sig ... endmodule P2p_params : sig ... endTypes of the abstract data types (ADT) which parameterize the P2p layer.
module P2p_peer : sig ... endmodule P2p_peer_id : sig ... endmodule P2p_point : sig ... endmodule P2p_rejection : sig ... endmodule P2p_stat : sig ... endBandwidth usage statistics
module P2p_version : sig ... endP2p-layer protocol version.
module Point_parser : sig ... endmodule Profiler : sig ... endThis profiling library declares a high-level interface meant to be used to instrument code in order to measure the time spent in the different parts in such a way to yield a (human-)processable report. This module declares a generic interface (driver) that will provide an API to the developer to instrument the code. When the profiling data is recorded, the abstracted profiler will feed it to its "plugged" backend (instance) which will process the different profiler's nodes in order to produce the reports. Reports may also be combined to interwine different components' traces.
module Protocol : sig ... endmodule S : sig ... endmodule Sized : sig ... endmodule Skip_list : sig ... endThis module provides an implementation of the skip list data structure.
module Test_chain_status : sig ... endmodule Time : sig ... endTime management
module TzPervasives : sig ... endmodule User_activated : sig ... endmodule Worker_intf : sig ... endmodule Worker_types : sig ... end