CKP-003: a comparison is complete only when every K2 category is present
521def continuationSchemaCoversAll =
522 (lambda unrestricted schema : (family ContinuationSchema) .
523 (stdBoolAnd
524 (continuationSchemaHasCategory
525 (constructor ContinuationCategory ContinuationParameters)
526 schema)
527 (stdBoolAnd
528 (continuationSchemaHasCategory
529 (constructor ContinuationCategory ContinuationComponentState)
530 schema)
531 (stdBoolAnd
532 (continuationSchemaHasCategory
533 (constructor ContinuationCategory ContinuationLearnerState)
534 schema)
535 (stdBoolAnd
536 (continuationSchemaHasCategory
537 (constructor ContinuationCategory ContinuationRng)
538 schema)
539 (stdBoolAnd
540 (continuationSchemaHasCategory
541 (constructor ContinuationCategory ContinuationDataCursor)
542 schema)
543 (stdBoolAnd
544 (continuationSchemaHasCategory
545 (constructor ContinuationCategory ContinuationCounters)
546 schema)
547 (stdBoolAnd
548 (continuationSchemaHasCategory
549 (constructor ContinuationCategory ContinuationSchedule)
550 schema)
551 (continuationSchemaHasCategory
552 (constructor ContinuationCategory ContinuationIdentities)
553 schema)))))))))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.