Module Diagnostic.FailedRequire

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