Module Kernel.UnrollingForce

module UnrollingForce: Parameter_sig.Bool 
Behavior of option "-ulevel-force"
Since Fluorine-20130501+dev

include Parameter_sig.S
val on : unit -> unit
Set the boolean to true.
val off : unit -> unit
Set the boolean to false.