Legend:
Library
Module
Module type
Parameter
Class
Class type
A quota can be specified as an amount of wall time, or a number of times to run the function.
(Strictly speaking, for Num_calls n, it is possible that the function is called fewer than n times if the array of measurements fills up. But with default settings for how batches are sized, you don't run into this issue until n is over 1.9e16.)
val fulfilled : t->start:Core.Time.t->num_calls:int -> bool
fulfilled t ~start ~num_calls returns true iff we have fulfilled the quota, given that we *started* at time start and have run the function num_calls times.