845def checkpointParameterField =
846 (lambda unrestricted storage : (family CheckpointParameterStorage) .
847 (eliminate
848 CheckpointParameterStorage
849 (lambda unrestricted current : (family CheckpointParameterStorage) . (family CheckpointField))
850 storage
851 (branch
852 CheckpointParameterStorageValue
853 role
854 name
855 offset
856 byteLength
857 elements
858 domain
859 initialization
860 .
861 (constructor
862 CheckpointField
863 CheckpointFieldValue
864 (constructor CheckpointFieldKind CheckpointParameterField role)
865 (bytes-append b"parameter/" name)
866 offset
867 modelWord64Zero
868 byteLength
869 elements
870 domain
871 initialization))))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.