pub type SchedState = Scheduler;
Lean-aligned scheduler state alias.
pub struct SchedState { /* private fields */ }