module NewInstantiator:
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
true
.val off : unit -> unit
false
.