Module Metrics_parameters.Enabled

module Enabled: Parameter_sig.With_output 

Activate metrics


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.