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.