Module DeprecationSource

Sourcetype t = {
  1. since : string option;
  2. note : string option;
}
Sourcetype 'a with_qf = {
  1. depr : t;
  2. use_instead : 'a option;
}
Sourceval drop_qf : 'a with_qf -> t
Sourceval with_empty_qf : t -> 'a with_qf
Sourceval map_qf : ('a -> 'b) -> 'a with_qf -> 'b with_qf
Sourceval make : ?since:string -> ?note:string -> unit -> t
Sourceval make_with_qf : t -> ?use_instead:'qf -> unit -> 'qf with_qf
Sourceval create_warning : ?default:CWarnings.status -> object_name:string -> warning_name_if_no_since:string -> ('b -> Pp.t) -> ?loc:Loc.t -> ('b * t) -> unit
Sourceval create_warning_with_qf : ?default:CWarnings.status -> object_name:string -> warning_name_if_no_since:string -> pp_qf:('qf -> Pp.t) -> ('b -> Pp.t) -> ?loc:Loc.t -> ('b * 'qf with_qf) -> unit
Sourcemodule Version : sig ... end