The continuation schema of a system: one Parameters entry per parameter, one LearnerState
entry per derived learner-state slot, and the system-wide categories.
417def deriveContinuationSchema =
418 (lambda unrestricted system : (family SystemDefinition) .
419 (eliminate
420 SystemDefinition
421 (lambda unrestricted current : (family SystemDefinition) . (family ContinuationSchema))
422 system
423 (branch
424 SystemDefinitionOf
425 name
426 parameters
427 learner
428 .
429 (constructor
430 ContinuationSchema
431 ContinuationSchemaOf
432 name
433 (stdListAppend
434 (family ContinuationEntry)
435 (stdListMap
436 (family ParameterSchema)
437 (family ContinuationEntry)
438 (lambda unrestricted parameter : (family ParameterSchema) .
439 (constructor
440 ContinuationEntry
441 ContinuationEntryOf
442 (constructor ContinuationCategory ContinuationParameters)
443 (parameterIdentityComponentsOf (parameterSchemaIdentityOf parameter))))
444 parameters)
445 (stdListAppend
446 (family ContinuationEntry)
447 (eliminate
448 LearnerStateSchema
449 (lambda unrestricted current : (family LearnerStateSchema) .
450 (family StdList (family ContinuationEntry)))
451 (deriveLearnerStateSchema learner parameters)
452 (branch
453 LearnerStateSchemaOf
454 slots
455 .
456 (stdListMap
457 (family LearnerStateSlot)
458 (family ContinuationEntry)
459 (lambda unrestricted slot : (family LearnerStateSlot) .
460 (constructor
461 ContinuationEntry
462 ContinuationEntryOf
463 (constructor ContinuationCategory ContinuationLearnerState)
464 (learnerStateSlotKey slot)))
465 slots)))
466 (continuationEntriesOfSix
467 (continuationSystemEntry
468 (constructor ContinuationCategory ContinuationComponentState)
469 b"component-state")
470 (continuationSystemEntry (constructor ContinuationCategory ContinuationRng) b"rng")
471 (continuationSystemEntry
472 (constructor ContinuationCategory ContinuationDataCursor)
473 b"data-cursor")
474 (continuationSystemEntry
475 (constructor ContinuationCategory ContinuationCounters)
476 b"counters")
477 (continuationSystemEntry
478 (constructor ContinuationCategory ContinuationSchedule)
479 b"schedule")
480 (continuationSystemEntry
481 (constructor ContinuationCategory ContinuationIdentities)
482 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.