Module From_parameters.VerifyAssigns

module VerifyAssigns: Parameter_sig.Bool 
Option -from-verify-assigns.

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