val care_about_ite_branch : bool Pervasives.ref

If set to true then the check regarding if-then-else branches is performed.

val about_ite_branch_ref : ( Warnings.loc -> unit ) Pervasives.ref

Used to override what happens for problematic locations. By default just prints an error message on stderr.

val about_ite_branch : Warnings.loc -> unit

This function is called by the parser when it wants to warn about an if-then-else branch.