Checks (irmin-pack.Irmin_pack

type integrity_error = [

| `Wrong_hash
| `Absent_value

]

type nonrec empty

val setup_log : unit Cmdliner.Term.t

val path : string Cmdliner.Term.t

module type Subcommand = sig ... end

module type S = sig ... end

module Make (_ : sig ... end) : S

module Integrity_checks
  (XKey : Pack_key.S)
  (X : 
    Irmin.Backend.S
      with type Commit.key = XKey.t
       and type Node.key = XKey.t
       and type Schema.Hash.t = XKey.hash)
  (Index : sig ... end) : 
  sig ... end

module Stats (S : sig ... end) : sig ... end