package tezos-protocol-007-PsDELPH1

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

Module Tezos_raw_protocol_007_PsDELPH1.MainSource

Tezos Protocol Implementation - Protocol Signature Instance

Sourcetype 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_007_PsDELPH1.Block_hash.t;
    }
  4. | Full_construction of {
    1. predecessor : Tezos_protocol_environment_007_PsDELPH1.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;
    }
Sourcetype validation_state = {
  1. mode : validation_mode;
  2. chain_id : Tezos_protocol_environment_007_PsDELPH1.Chain_id.t;
  3. ctxt : Alpha_context.t;
  4. op_count : int;
}
include Tezos_protocol_environment_007_PsDELPH1.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
Sourceval max_block_length : int
Sourceval max_operation_data_length : int
Sourcetype block_header_metadata = Apply_results.block_metadata
Sourceval acceptable_passes : operation -> int list
Sourceval compare_operations : operation -> operation -> int
OCaml

Innovation. Community. Security.