Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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 : (Ocaml_common.Location.t -> unit) Pervasives.ref
Used to override what happens for problematic locations. By default just prints an error message on stderr.
val about_ite_branch : Ocaml_common.Location.t -> unit
This function is called by the parser when it wants to warn about an if-then-else branch.