Source/Systems

Coppelius.Build.NativeHost

systems/coppelius/src/Coppelius/Build/NativeHost.alpha

677 lines91 declarations41.8 KiBSHA-256 492ff96faac5

def · lines 232–237

coppeliusReadCheckpoint

Full file
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.