Module timer_wheel 

Deterministic timer wheel keyed by Instant.

Stores N named timers. Each timer has a target instant. The wheel tells the shell what its next wake-up time is via next_deadline. When time advances past a timer’s target, the caller (the session machine) checks is_expired(name, now).