AlphaGitHub
Source/Systems

Bob.Build.NativeHost

systems/bob/src/Bob/Build/NativeHost.alpha

882 lines46 declarations32.2 KiBSHA-256 3f8d3aa22d4e
Download exact fileView at revision426597bda5753d86c4

def · lines 417–429

bobSystemBuffer

Full file
417def bobSystemBuffer =
418  (lambda unrestricted identity : Bytes .
419    (lambda unrestricted gpu : Nat .
420      (lambda unrestricted host : Nat .
421        (lambda unrestricted extent : Nat .
422          (constructor
423            NvidiaPlanHostBuffer
424            NvidiaPlanHostBufferValue
425            identity
426            gpu
427            host
428            extent
429            (constructor NvidiaPlanHostMemory NvidiaPlanHostSystemMemory))))))

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.