Module Ui_metricsSource

Sourcemodule 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.

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