AlphaGitHub
Source/Systems

Coppelius.Build.NativeHost

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

677 lines91 declarations41.8 KiBSHA-256 492ff96faac5
Download exact fileView at revision3c600751929f56cd01

def · lines 250–254

coppeliusRecordWord

Full file
250def coppeliusRecordWord =
251  (lambda unrestricted host : Nat .
252    (lambda unrestricted statOffset : Nat .
253      (lambda unrestricted tail : (family NvidiaPlanHostSteps) .
254        (constructor NvidiaPlanHostSteps NvidiaPlanHostStepRecordStat host statOffset 4 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.