UserWarn
This is about warnings triggered from user .v code ("warn" attibute). See cWarnings.mli for the generic warning interface.
val empty : t
val make_warn : note:string -> ?cats:string -> unit -> warn
val create_warning : ?default:CWarnings.status -> warning_name_if_no_cats:string -> unit -> ?loc:Loc.t ->
warn -> unit