package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

This module re-exports definitions from Dal_errors_repr.

Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=

| Dal_feature_disabled
| Dal_slot_index_above_hard_limit
| Dal_attestation_unexpected_size of {
1. expected : int;
2. got : int;
}
| Dal_publish_slot_header_future_level of {
1. provided : Raw_level.t;
2. expected : Raw_level.t;
}
| Dal_publish_slot_header_past_level of {
1. provided : Raw_level.t;
2. expected : Raw_level.t;
}
| Dal_publish_slot_header_invalid_index of {
1. given : Dal.Slot_index.t;
2. maximum : Dal.Slot_index.t;
}
| Dal_publish_slot_header_candidate_with_low_fees of {
1. proposed_fees : Tez.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.Header.t;
}
| Dal_publish_slot_header_invalid_proof of {
1. commitment : Dal.Slot.Commitment.t;
2. commitment_proof : Dal.Slot.Commitment_proof.t;
}
| Dal_data_availibility_attestor_not_in_committee of {
1. attestor : Tezos_protocol_environment_alpha.Signature.Public_key_hash.t;
2. level : Level.t;
}
| Dal_operation_for_old_level of {
1. current : Raw_level.t;
2. given : Raw_level.t;
}
| Dal_operation_for_future_level of {
1. current : Raw_level.t;
2. given : Raw_level.t;
}
| Dal_cryptobox_error of {
1. explanation : string;
}