Module NewProfile.CountersSource

Sourcetype t
Sourceval get : unit -> t
Sourceval zero : t
Sourceval (+) : t -> t -> t
Sourceval (-) : t -> t -> t
Sourceval print : t -> Pp.t