Module Ui_metrics

module Histogram_bucket_definitions : sig ... end
module Histogram : sig ... end

This module is used for collecting metrics from the currently running Bonsai app. It uses a global store of values so that we don't need to thread a handle through all the places in Bonsai where we might want to record data.

As a side effect, this module listens to the number of incremental nodes annotated by Bonsai.

module Over_time : sig ... end
module One_off : sig ... end
module Timing_histograms : sig ... end
module Counters : sig ... end
module One_off_timings : sig ... end
module For_debugging_histograms : sig ... end
module For_testing : sig ... end
module Private : sig ... end