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