package tezos-protocol-014-PtKathma

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

Sourcetype Tezos_protocol_environment_014_PtKathma.Error_monad.error +=

| Dal_feature_disabled
| Dal_slot_index_above_hard_limit
| Dal_subscribe_rollup_invalid_slot_index of {
1. given : Dal_slot_repr.Index.t;
2. maximum : Dal_slot_repr.Index.t;
}
| Dal_endorsement_unexpected_size of {
1. expected : int;
2. got : int;
}
| Dal_publish_slot_header_invalid_index of {
1. given : Dal_slot_repr.Index.t;
2. maximum : Dal_slot_repr.Index.t;
}
| Dal_publish_slot_header_candidate_with_low_fees of {
1. proposed_fees : Tez_repr.t;
}
| Dal_endorsement_size_limit_exceeded of {
1. maximum_size : int;
2. got : int;
}
| Dal_publish_slot_header_duplicate of {
1. slot : Dal_slot_repr.t;
}