Module VersionLookup

type max_ids = {
  1. max_sid : int;
  2. max_vid : int;
}
val updateMap : Cil.file -> Cil.file -> (CompareCIL.global_identifier, Cil.global) Hashtbl.t -> (CompareCIL.global_identifier, Cil.global) Hashtbl.t * CompareCIL.change_info
val create_map : Cil.file -> (CompareCIL.global_identifier, Cil.global) Hashtbl.t * max_ids
val load_and_update_map : Cil.file -> Cil.file -> (CompareCIL.global_identifier, Cil.global) Hashtbl.t * CompareCIL.change_info * 'a