package ocaml-solo5
Module Signature_matching.Suggestion
type report = {alterations : alteration t list;incompatibles : Includemod.Error.sigitem_symptom t list;
}Signature_matching.Suggestiontype report = {alterations : alteration t list;incompatibles : Includemod.Error.sigitem_symptom t list;}