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.