Module Kernel.LogicalOperators

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.