328def checkpointProgram =
329 (lambda unrestricted parameters : (family CheckpointParameterStorages) .
330 (lambda unrestricted learner : (family CheckpointLearnerComponent) .
331 (constructor CheckpointProgram CheckpointProgramValue parameters learner)))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.