module type S = Irmin.S with type step = string and type key = string list and type contents = string and type branch = stringval reporter : ?prefix:string -> unit -> Logs.reportertype t = {name : string; | 
init : unit -> unit Lwt.t; | 
clean : unit -> unit Lwt.t; | 
config : Irmin.config; | 
store : (module S); | 
stats : (unit -> int * int) option; | 
}val store : (module Irmin.S_MAKER) -> (module Irmin.Metadata.S) -> (module S)val testable : 'a Irmin.Type.t -> 'a Alcotest.testableval check : 'a Irmin.Type.t -> string -> 'a -> 'a -> unitval checks : 'a Irmin.Type.t -> string -> 'a list -> 'a list -> unitmodule Store : sig ... end