Module Coq_checklib.CheckSource

Sourcetype section_path = {
  1. dirpath : string list;
  2. basename : string;
}
Sourcetype object_file =
  1. | PhysicalFile of CUnix.physical_path
  2. | LogicalFile of section_path
Sourcetype logical_path = Names.DirPath.t
Sourceval default_root_prefix : Names.DirPath.t
Sourceval add_load_path : (CUnix.physical_path * logical_path) -> unit