Consistbl.Make
module Module_name: { ... }
let create: unit => t;
let clear: t => unit;
let check: t => Module_name.t => Stdlib.Digest.t => Misc.filepath => unit;
let check_noadd:
t =>
Module_name.t =>
Stdlib.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(Stdlib.Digest.t)));
let extract_map:
Module_name.Set.t =>
t =>
Module_name.Map.t(option(Stdlib.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);