Signature_matching
module Suggestion : sig ... end
val suggest : Includemod.Error.signature_symptom -> Suggestion.report