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