Module Pdg_parameters.BuildAll

module BuildAll: 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.