<metrics> Internal Library

Timers/counters/tracing baseline.

Import

import m "<metrics>"

API

• counter_inc(name, delta?) -> int
• counter_get(name) -> int
• timer_now() -> float

Example

import m "<metrics>"

m.counter_inc("requests", 1)
display(m.counter_get("requests"))