Module Octez_riscv_nds_common.Nds_errors

Common error types shared by both the in-memory and on-disk backends.

Each variant is registered once with the error monad so that callers can match on a single constructor regardless of the backend.

type invalid_argument_error =
  1. | Key_not_found
  2. | Key_too_long
  3. | Offset_too_large
  4. | Database_index_out_of_bounds
  5. | Registry_resize_too_large
type Tezos_base.TzPervasives.error +=
  1. | Proof_deserialisation_error of string
type verification_error =
  1. | Not_found
type Tezos_base.TzPervasives.error +=
  1. | Verification_error of verification_error
type verification_argument_error =
  1. | Verification_invalid_argument of invalid_argument_error
  2. | Verification of verification_error
type Tezos_base.TzPervasives.error +=
  1. | Verification_argument_error of verification_argument_error