module NewInstantiator:
Used by Instantiator_builder
to generate options. For a given instantiator
the module generates an option "-instantiate-(no-)<function_name>" that defaults
to true.
Parameters: |
|
include Parameter_sig.S
val on : unit -> unit
Set the boolean to true
.
val off : unit -> unit
Set the boolean to false
.