Module Diagnostic.FailedRequireSource

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