Normal (octez-riscv-nds.Octez_riscv_nds

module Registry : sig ... end

module Database : 
  Octez_riscv_nds_common.Intf.DATABASE
    with type registry := Registry.t
     and type invalid_argument_error := Registry.invalid_argument_error

Database key-value operations on a Registry.t. See Octez_riscv_nds_common.DATABASE for the full specification.