Module Consistbl.Make

Parameters

module Module_name: { ... }

Signature

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 {
  1. unit_name: Module_name.t,
  2. inconsistent_source: string,
  3. original_source: string,
};
exception Not_available(Module_name.t);