package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | Dal_feature_disabled
  2. | Dal_slot_index_above_hard_limit
  3. | Dal_attestation_unexpected_size of {
    1. expected : int;
    2. got : int;
    }
  4. | Dal_publish_slot_header_future_level of {
    1. provided : Raw_level_repr.t;
    2. expected : Raw_level_repr.t;
    }
  5. | Dal_publish_slot_header_past_level of {
    1. provided : Raw_level_repr.t;
    2. expected : Raw_level_repr.t;
    }
  6. | Dal_publish_slot_header_invalid_index of {
    1. given : Dal_slot_index_repr.t;
    2. maximum : Dal_slot_index_repr.t;
    }
  7. | Dal_publish_slot_header_candidate_with_low_fees of {
    1. proposed_fees : Tez_repr.t;
    }
  8. | Dal_attestation_size_limit_exceeded of {
    1. maximum_size : int;
    2. got : int;
    }
  9. | Dal_publish_slot_header_duplicate of {
    1. slot_header : Dal_slot_repr.Header.t;
    }
  10. | Dal_publish_slot_header_invalid_proof of {
    1. commitment : Tezos_protocol_environment_alpha.Dal.commitment;
    2. commitment_proof : Tezos_protocol_environment_alpha.Dal.commitment_proof;
    }
  11. | Dal_data_availibility_attestor_not_in_committee of {
    1. attestor : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;
    2. level : Level_repr.t;
    }
  12. | Dal_operation_for_old_level of {
    1. current : Raw_level_repr.t;
    2. given : Raw_level_repr.t;
    }
  13. | Dal_operation_for_future_level of {
    1. current : Raw_level_repr.t;
    2. given : Raw_level_repr.t;
    }
  14. | Dal_cryptobox_error of {
    1. explanation : string;
    }
  15. | Dal_register_invalid_slot_header of {
    1. length : int;
    2. slot_header : Dal_slot_repr.Header.t;
    }
OCaml

Innovation. Community. Security.