Module Diagnostic.FailedRequireSource

Sourcetype t = {
  1. prefix : Libnames.qualid option;
  2. refs : Libnames.qualid list;
}