Module Signature_matching.Suggestion

type alteration =
  1. | Missing_item
  2. | Possible_match of Ident.t Location.loc
type 'a t = {
  1. subject : Types.signature_item;
  2. alteration : 'a;
}
type report = {
  1. alterations : alteration t list;
  2. incompatibles : Includemod.Error.sigitem_symptom t list;
}