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 431–443

bobVideoBuffer

Full file
431def bobVideoBuffer =
432  (lambda unrestricted identity : Bytes .
433    (lambda unrestricted gpu : Nat .
434      (lambda unrestricted host : Nat .
435        (lambda unrestricted extent : Nat .
436          (constructor
437            NvidiaPlanHostBuffer
438            NvidiaPlanHostBufferValue
439            identity
440            gpu
441            host
442            extent
443            (constructor NvidiaPlanHostMemory NvidiaPlanHostVideoMemory))))))

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.