Module Mavryk_raw_protocol_demo_counter.Main

Tezos Protocol Implementation - Protocol Signature Instance.

This module implements the economic protocol signature. It also exports the RPC services defined in module Services.

include Mavryk_protocol_environment_demo_counter.Updater.PROTOCOL with type block_header_data = Header.t and type operation_receipt = Receipt.t and type operation_data = Proto_operation.t
val max_block_length : int
val max_operation_data_length : int
type block_header_data = Header.t
type block_header_metadata
val block_header_metadata_encoding_with_legacy_attestation_name : block_header_metadata Mavryk_protocol_environment_demo_counter.Data_encoding.t
type operation_data = Proto_operation.t
type operation_receipt = Receipt.t
val operation_data_encoding_with_legacy_attestation_name : operation_data Mavryk_protocol_environment_demo_counter.Data_encoding.t
val operation_receipt_encoding_with_legacy_attestation_name : operation_receipt Mavryk_protocol_environment_demo_counter.Data_encoding.t
val operation_data_and_receipt_encoding_with_legacy_attestation_name : (operation_data * operation_receipt) Mavryk_protocol_environment_demo_counter.Data_encoding.t
val acceptable_pass : operation -> int option
type mode =
  1. | Application of block_header
  2. | Partial_validation of block_header
  3. | Construction of {
    1. predecessor_hash : Mavryk_protocol_environment_demo_counter.Block_hash.t;
    2. timestamp : Mavryk_protocol_environment_demo_counter.Time.t;
    3. block_header_data : block_header_data;
    }
  4. | Partial_construction of {
    1. predecessor_hash : Mavryk_protocol_environment_demo_counter.Block_hash.t;
    2. timestamp : Mavryk_protocol_environment_demo_counter.Time.t;
    }
type validation_state
type application_state
module Mempool : sig ... end