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.