pub type CounterType = FiniteF64;
Type used for Counter metric
struct CounterType(/* private fields */);