package tezos-protocol-001-PtCJ7pwo

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

Tezos Protocol Implementation - Main Entry Points

type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error +=
  1. | Invalid_commitment of {
    1. expected : bool;
    }
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error +=
  1. | Invalid_double_endorsement_evidence
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error +=
  1. | Unrequired_double_endorsement_evidence
type Tezos_protocol_environment_001_PtCJ7pwo.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_001_PtCJ7pwo.Error_monad.error +=
  1. | Unrequired_double_baking_evidence
type Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.error +=
  1. | Gas_quota_exceeded_init_deserialize
val precheck_manager_contents : Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t -> Tezos_protocol_environment_001_PtCJ7pwo.Chain_id.t -> 'a Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.operation -> 'kind Alpha_context.Kind.manager Alpha_context.contents -> Alpha_context.context Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t
val may_snapshot_roll : Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t -> Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t
val begin_partial_construction : Tezos_raw_protocol_001_PtCJ7pwo__Alpha_context.t -> Alpha_context.context Tezos_protocol_environment_001_PtCJ7pwo.Error_monad.tzresult Tezos_protocol_environment_001_PtCJ7pwo.Lwt.t
OCaml

Innovation. Community. Security.