The walk as a state: each event moves it (one recursive call an event;
a choice between two continuations would be evaluated on both sides by
the build's evaluator), the first hazard found kept.
159def arenaScheduleStart : (family ArenaScheduleState) =
160 (constructor ArenaScheduleState ArenaScheduleStateValue 1 0 (constructor ArenaRanges ArenaRangesNone) 0)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.