module LogicalOperators: Parameter_sig.Bool
Behavior of invisible option -keep-logical operator:
Tries to avoid converting && and || into conditional statements.
Note that this option is incompatible with many (most) plug-ins of the
platform and thus should only be enabled with great care and for very
specific analyses need.
include Parameter_sig.S
val on : unit -> unit
Set the boolean to true
.
val off : unit -> unit
Set the boolean to false
.