Kvdb (merkle_ledger.Merkle_ledger.Database.Make.1-Inputs.Kvdb)

type t

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

include Key_value_database.Intf.Ident
  with type t := t
   and type key := Core.Bigstring.t
   and type value := Core.Bigstring.t
   and type config := string

val create : string -> t

val close : t -> unit

val get : 
  t ->
  key:Core.Bigstring.t ->
  Core.Bigstring.t option Key_value_database.Monad.Ident.t

val get_batch : 
  t ->
  keys:Core.Bigstring.t list ->
  Core.Bigstring.t option list Key_value_database.Monad.Ident.t

val set : 
  t ->
  key:Core.Bigstring.t ->
  data:Core.Bigstring.t ->
  unit Key_value_database.Monad.Ident.t

val remove : t -> key:Core.Bigstring.t -> unit Key_value_database.Monad.Ident.t

val create_checkpoint : t -> string -> t

val make_checkpoint : t -> string -> unit

val get_uuid : t -> Uuid.t

val set_batch : 
  t ->
  ?remove_keys:Core.Bigstring.t list ->
  key_data_pairs:(Core.Bigstring.t * Core.Bigstring.t) list ->
  unit

val to_alist : t -> (Core.Bigstring.t * Core.Bigstring.t) list