package tezos-protocol-006-PsCARTHA

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

Tezos Protocol Implementation - Main Entry Points

type Tezos_protocol_environment.Error_monad.error +=
  1. | Invalid_endorsement_level
type Tezos_protocol_environment.Error_monad.error +=
  1. | Invalid_commitment of {
    1. expected : bool;
    }
type Tezos_protocol_environment.Error_monad.error +=
  1. | Invalid_double_endorsement_evidence
type Tezos_protocol_environment.Error_monad.error +=
  1. | Unrequired_double_endorsement_evidence
type Tezos_protocol_environment.Error_monad.error +=
  1. | Too_early_double_endorsement_evidence of {
    1. level : Alpha_context.Raw_level.t;
    2. current : Alpha_context.Raw_level.t;
    }
type Tezos_protocol_environment.Error_monad.error +=
  1. | Outdated_double_endorsement_evidence of {
    1. level : Alpha_context.Raw_level.t;
    2. last : Alpha_context.Raw_level.t;
    }
type Tezos_protocol_environment.Error_monad.error +=
  1. | Unrequired_double_baking_evidence
type Tezos_protocol_environment.Error_monad.error +=
  1. | Too_early_double_baking_evidence of {
    1. level : Alpha_context.Raw_level.t;
    2. current : Alpha_context.Raw_level.t;
    }
type Tezos_protocol_environment.Error_monad.error +=
  1. | Outdated_double_baking_evidence of {
    1. level : Alpha_context.Raw_level.t;
    2. last : Alpha_context.Raw_level.t;
    }
type Tezos_protocol_environment.Error_monad.error +=
  1. | Multiple_revelation
type Tezos_protocol_environment.Error_monad.error +=
  1. | Gas_quota_exceeded_init_deserialize
type Tezos_protocol_environment.Error_monad.error +=
  1. | Not_enough_endorsements_for_priority of {
    1. required : int;
    2. priority : int;
    3. endorsements : int;
    4. timestamp : Tezos_protocol_environment.Time.t;
    }
val skipped_operation_result : 'kind. 'kind Alpha_context.manager_operation -> 'kind Apply_results.manager_operation_result