tezos-shell-services 16.0 · OCaml Package

type block_error =

| Cannot_parse_operation of Tezos_base.TzPervasives.Operation_hash.t
| Invalid_fitness of {
1. expected : Tezos_base.Fitness.t;
2. found : Tezos_base.Fitness.t;
}
| Non_increasing_timestamp
| Non_increasing_fitness
| Invalid_level of {
1. expected : Int32.t;
2. found : Int32.t;
}
| Invalid_proto_level of {
1. expected : int;
2. found : int;
}
| Replayed_operation of Tezos_base.TzPervasives.Operation_hash.t
| Outdated_operation of {
1. operation : Tezos_base.TzPervasives.Operation_hash.t;
2. originating_block : Tezos_base.TzPervasives.Block_hash.t;
}
| Expired_chain of {
1. chain_id : Tezos_base.TzPervasives.Chain_id.t;
2. expiration : Tezos_base.Time.Protocol.t;
3. timestamp : Tezos_base.Time.Protocol.t;
}
| Unexpected_number_of_validation_passes of int
| Too_many_operations of {
1. pass : int;
2. found : int;
3. max : int;
}
| Oversized_operation of {
1. operation : Tezos_base.TzPervasives.Operation_hash.t;
2. size : int;
3. max : int;
}
| Unallowed_pass of {
1. operation : Tezos_base.TzPervasives.Operation_hash.t;
2. pass : int;
3. allowed_pass : int option;
}
| Cannot_parse_block_header
| Economic_protocol_error
| Invalid_protocol_environment_transition of Tezos_base.Protocol.env_version * Tezos_base.Protocol.env_version

type validation_process_error =

type Tezos_base.TzPervasives.error +=

| Invalid_block of {
1. block : Tezos_base.TzPervasives.Block_hash.t;
2. error : block_error;
}
| Unavailable_protocol of {
1. block : Tezos_base.TzPervasives.Block_hash.t;
2. protocol : Tezos_base.TzPervasives.Protocol_hash.t;
}
| Inconsistent_operations_hash of {
1. block : Tezos_base.TzPervasives.Block_hash.t;
2. expected : Tezos_base.TzPervasives.Operation_list_list_hash.t;
3. found : Tezos_base.TzPervasives.Operation_list_list_hash.t;
}
| Applying_non_validated_block of Tezos_base.TzPervasives.Block_hash.t
| Failed_to_checkout_context of Tezos_base.TzPervasives.Context_hash.t
| System_error of {
1. errno : string;
2. fn : string;
3. msg : string;
}
| Missing_test_protocol of Tezos_base.TzPervasives.Protocol_hash.t
| Validation_process_failed of validation_process_error
| Cannot_validate_while_shutting_down

val invalid_block : 
  Tezos_base.TzPervasives.Block_hash.t ->
  block_error ->
  Tezos_base.TzPervasives.error

package tezos-shell-services