Module Tezos_raw_protocol_006_PsCARTHA.Main

Tezos Protocol Implementation - Protocol Signature Instance

type validation_mode =
  1. | Application of {
    1. block_header : Alpha_context.Block_header.t;
    2. baker : Alpha_context.public_key_hash;
    3. block_delay : Alpha_context.Period.t;
    }
  2. | Partial_application of {
    1. block_header : Alpha_context.Block_header.t;
    2. baker : Alpha_context.public_key_hash;
    3. block_delay : Alpha_context.Period.t;
    }
  3. | Partial_construction of {
    1. predecessor : Tezos_protocol_environment_006_PsCARTHA.Block_hash.t;
    }
  4. | Full_construction of {
    1. predecessor : Tezos_protocol_environment_006_PsCARTHA.Block_hash.t;
    2. protocol_data : Alpha_context.Block_header.contents;
    3. baker : Alpha_context.public_key_hash;
    4. block_delay : Alpha_context.Period.t;
    }
type validation_state = {
  1. mode : validation_mode;
  2. chain_id : Tezos_protocol_environment_006_PsCARTHA.Chain_id.t;
  3. ctxt : Alpha_context.t;
  4. op_count : int;
}
include Tezos_protocol_environment_006_PsCARTHA.Updater.PROTOCOL with type block_header_data = Alpha_context.Block_header.protocol_data and type block_header_metadata = Apply_results.block_metadata and type block_header = Alpha_context.Block_header.t and type operation_data := operation_data and type operation_receipt = Apply_results.packed_operation_metadata and type operation := operation and type validation_state := validation_state
val max_block_length : int
val max_operation_data_length : int
type block_header_metadata = Apply_results.block_metadata
val acceptable_passes : operation -> int list
val compare_operations : operation -> operation -> int