TICK_INTERVAL_US

Constant TICK_INTERVAL_US 

Source
pub const TICK_INTERVAL_US: u64 = 10_000;