Module Mavryk_protocol_demo_counter.Protocol

val name : string
include module type of struct include Mavryk_raw_protocol_demo_counter end
include module type of struct include Mavryk_raw_protocol_demo_counter.Main end
include Mavryk_protocol_environment_demo_counter.Updater.PROTOCOL with type block_header_data = Mavryk_raw_protocol_demo_counter.Header.t and type operation_receipt = Mavryk_raw_protocol_demo_counter.Receipt.t and type operation_data = Mavryk_raw_protocol_demo_counter.Proto_operation.t
val max_block_length : int
val max_operation_data_length : int
val block_header_metadata_encoding_with_legacy_attestation_name : block_header_metadata Mavryk_protocol_environment_demo_counter.Data_encoding.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 = Mavryk_raw_protocol_demo_counter.Main.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;
    }