Functor Consistbl.Make

module Make: functor (Module_name : sig

type t;

module Set: Set.S with type elt = t;

module Map: Map.S with type key = t;

module Tbl: Hashtbl.S with type key = t;

let compare: (t, t) => int;

end) -> sig .. end

type t;

let create: unit => t;

let clear: t => unit;

let check: (t, Module_name.t, Digest.t, Misc.filepath) => unit;

let check_noadd: (t, Module_name.t, Digest.t, Misc.filepath) => unit;

let set: (t, Module_name.t, Digest.t, Misc.filepath) => unit;

let source: (t, Module_name.t) => Misc.filepath;

let extract:
  (list(Module_name.t), t) => list((Module_name.t, option(Digest.t)));

let extract_map:
  (Module_name.Set.t, t) => Module_name.Map.t(option(Digest.t));

let filter: (Module_name.t => bool, t) => unit;

exception Inconsistency of {


  

unit_name : Module_name.t;




  

inconsistent_source : string;




  

original_source : string;


}

exception Not_available(Module_name.t);