Make (melange.Melange_compiler_libs.Consistbl.Make)

Parameters

module Module_name: { ... }

type t;

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 {

};

exception Not_available(Module_name.t);