662def continuationCategoryName =
663 (lambda unrestricted category : (family ContinuationCategory) .
664 (eliminate
665 ContinuationCategory
666 (lambda unrestricted current : (family ContinuationCategory) . Bytes)
667 category
668 (branch ContinuationParameters . b"parameters")
669 (branch ContinuationComponentState . b"component-state")
670 (branch ContinuationLearnerState . b"learner-state")
671 (branch ContinuationRng . b"rng")
672 (branch ContinuationDataCursor . b"data-cursor")
673 (branch ContinuationCounters . b"counters")
674 (branch ContinuationSchedule . b"schedule")
675 (branch ContinuationIdentities . b"identities")))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.