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
.