package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Dal_errors_repr/index.html

Module `Tezos_raw_protocol_alpha.Dal_errors_repr`Source

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Dal_feature_disabled
| Dal_slot_index_above_hard_limit of {
1. given : int;
}
| Dal_attestation_unexpected_size of {
1. expected : int;
2. got : int;
}
| Dal_publish_slot_header_future_level of {
1. provided : Raw_level_repr.t;
2. expected : Raw_level_repr.t;
}
| Dal_publish_slot_header_past_level of {
1. provided : Raw_level_repr.t;
2. expected : Raw_level_repr.t;
}
| Dal_publish_slot_header_invalid_index of {
1. given : Dal_slot_index_repr.t;
2. maximum : Dal_slot_index_repr.t;
}
| Dal_publish_slot_header_candidate_with_low_fees of {
1. proposed_fees : Tez_repr.t;
}
| Dal_attestation_size_limit_exceeded of {
1. maximum_size : int;
2. got : int;
}
| Dal_publish_slot_header_duplicate of {
1. slot_header : Dal_slot_repr.Header.t;
}
| 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;
}
| Dal_data_availibility_attestor_not_in_committee of {
1. attestor : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;
2. level : Level_repr.t;
}
| Dal_operation_for_old_level of {
1. current : Raw_level_repr.t;
2. given : Raw_level_repr.t;
}
| Dal_operation_for_future_level of {
1. current : Raw_level_repr.t;
2. given : Raw_level_repr.t;
}
| Dal_cryptobox_error of {
1. explanation : string;
}
| Dal_register_invalid_slot_header of {
1. length : int;
2. slot_header : Dal_slot_repr.Header.t;
}