Workspace.Warning
type t
val make : string -> t
val apply : t list -> unit
Adds new warnings to the list of current warnings, the Coq API here is a bit tricky...