232def coppeliusReadCheckpoint =
233 (lambda unrestricted extent : Nat .
234 (lambda unrestricted offset : Nat .
235 (lambda unrestricted stride : Nat .
236 (lambda unrestricted tail : (family NvidiaPlanHostSteps) .
237 (constructor NvidiaPlanHostSteps NvidiaPlanHostStepRead coppeliusCheckpointIn coppeliusHostStaging extent offset stride 1 tail)))))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.