module type With_output =sig
..end
Signature for a boolean parameter that causes something to be output.
include Parameter_sig.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.