Source file checks_intf.ml

type empty = |

module type S = sig
  module Stat : sig
    val run : root:string -> unit
    (** Read basic metrics from an existing store. *)

    val term : (unit -> unit) Cmdliner.Term.t
    (** A pre-packaged [Cmdliner] term for executing {!run}. *)
  end

  module Integrity_check : sig
    val run : root:string -> unit
    (** Check that the integrity invariants of a store are preserved, and
        display any broken invariants. *)

    val term : (unit -> unit) Cmdliner.Term.t
    (** A pre-packaged [Cmdliner] term for executing {!run}. *)
  end

  val cli : unit -> empty
  (** Run a [Cmdliner] binary containing tools for running offline integrity
      checks. *)
end

module type Checks = sig
  type nonrec empty = empty

  module type S = S

  module Make (K : Data.Key) (V : Data.Value) (IO : Io.S) : S
end