344def continuationCategoryCode =
345 (lambda unrestricted category : (family ContinuationCategory) .
346 (eliminate
347 ContinuationCategory
348 (lambda unrestricted current : (family ContinuationCategory) . Nat)
349 category
350 (branch ContinuationParameters . 1)
351 (branch ContinuationComponentState . 2)
352 (branch ContinuationLearnerState . 3)
353 (branch ContinuationRng . 4)
354 (branch ContinuationDataCursor . 5)
355 (branch ContinuationCounters . 6)
356 (branch ContinuationSchedule . 7)
357 (branch ContinuationIdentities . 8)))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.