Ui_metricsmodule Histogram_bucket_definitions : sig ... endmodule Histogram : sig ... endThis 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 ... endmodule One_off : sig ... endmodule Timing_histograms : sig ... endmodule Counters : sig ... endmodule One_off_timings : sig ... endmodule For_debugging_histograms : sig ... endmodule For_testing : sig ... endmodule Private : sig ... end