jon.recoil.org

Module Consistbl.MakeSource

Parameters

module Module_name : sig ... end
module Data : sig ... end

Signature

Sourcetype t
Sourceval create : unit -> t
Sourceval clear : t -> unit
Sourceval check : t -> Module_name.t -> Data.t -> Digest.t -> Misc.filepath -> unit
Sourceval check_noadd : t -> Module_name.t -> Data.t -> Digest.t -> Misc.filepath -> unit
Sourceval find : t -> Module_name.t -> (Data.t * Digest.t) option
Sourceval extract : Module_name.t list -> t -> (Module_name.t * (Data.t * Digest.t) option) list
Sourceval extract_map : Module_name.Set.t -> t -> (Data.t * Digest.t) option Module_name.Map.t
Sourceval filter : (Module_name.t -> bool) -> t -> unit
Sourceexception Inconsistency of {
  1. unit_name : Module_name.t;
  2. inconsistent_source : string;
  3. original_source : string;
  4. inconsistent_data : Data.t;
  5. original_data : Data.t;
}
Sourceexception Not_available of Module_name.t