MakeWarned.2-W
type elt = M.elt
type data
module Map : CSig.UMapS with type key = elt
val stage : Summary.Stage.t
val summary_name : string
NB: This summary name must NOT be the same as the nametab summary name.
val warn : ?loc:Loc.t -> elt -> data -> unit