Functor Plugin.General_services.WithOutput

module WithOutput: 
functor (X : sig
include Plugin.Parameter_input
val output_by_default : bool
end) -> Plugin.WithOutput
Build a boolean option initialized to false. The returned output function must be used to display the results of this option. The results will be displayed if X.output_by_default is true, or if option -foo-print is given by the user (where foo is X.option_name).
Since Nitrogen-20111001
Parameters:
X : sig include Parameter_input val output_by_default: bool end

include Plugin.Bool
val set_output_dependencies : State.t list -> unit
Set the dependencies for the output of the option. Two successive calls to output below will cause only one output, unless some of the supplied dependencies have changed between the two calls.
val output : (unit -> unit) -> unit
To be used by the plugin to output the results of the option in a controlled way. See set_output_dependencies details.