module ForceValues:Parameter_sig.With_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.