Module GADT.Make

Parameters

module Key : Key_intf

Signature

include Database_intf with type 'a g := 'a Key.t
type t
val set : t -> key:'a Key.t -> data:'a -> unit
val set_raw : t -> key:'a Key.t -> data:Core_kernel.Bigstring.t -> unit
val remove : t -> key:'a Key.t -> unit
module T : sig ... end
val create : string -> t
val close : t -> unit
val get : t -> key:'a Key.t -> 'a option
val get_raw : t -> key:'a Key.t -> Core_kernel.Bigstring.t option
module Batch : sig ... end