Functor Options.NewInstantiator

module NewInstantiator: 
functor (B : sig
val function_name : string
end-> Parameter_sig.Bool 
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:
B : sig val function_name: string end

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