177def coppeliusCheckpointSchema : (family CoppeliusCheckpointTransportSchema) =
178 (record
179 CoppeliusCheckpointTransportSchema
180 (coppeliusCheckpointSchemaIdentity = coppeliusRawCheckpointSchemaIdentity)
181 (coppeliusCheckpointParameterCount = coppeliusCheckpointParameterCount)
182 (coppeliusCheckpointPlaneCount = 3)
183 (coppeliusCheckpointBytesPerScalar = 4)
184 (coppeliusCheckpointPayloadBytes = coppeliusCheckpointPayloadBytes)
185 (coppeliusCheckpointOrderingIdentity = coppeliusParameterOrderingIdentity)
186 (coppeliusCheckpointInBandStepMetadata = 1)
187 (coppeliusCheckpointExternalStepReceiptRequired = 0))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.