val care_about_ite_branch : bool Stdlib.refIgnored -- kept for compatibility.
val about_ite_branch_ref : (Warnings.loc -> unit) Stdlib.refIgnored -- kept for compatibility.
val about_ite_branch : Warnings.loc -> unitIgnored -- kept for compatibility.