Source/Systems

Bob.Build.NativeHost

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

882 lines46 declarations32.2 KiBSHA-256 3f8d3aa22d4e

def · lines 359–391

bobNativeRequestCapturePlan

Full file
359def bobNativeRequestCapturePlan : (family TelemetryRoutedPolicyPlan) =
360  (compile-time
361    (nvidiaRequestCapturePlanWithSites
362      bobNativeCaptureSites
363      (constructor
364        StdList
365        StdListCons
366        Bytes
367        bobNativeRowSchema
368        (constructor
369          StdList
370          StdListCons
371          Bytes
372          bobNativeRowMeaning
373          (constructor
374            StdList
375            StdListCons
376            Bytes
377            (telemetryRecordJSON
378              (aosExecutionTemplate
379                b"execution-template:Bob.TrainingRun@1"
380                b"Bob"
381                b"learning"
382                b"alpha.systems"))
383            (constructor
384              StdList
385              StdListCons
386              Bytes
387              (telemetryRecordJSON
388                (aosExecutionConfiguration
389                  b"configuration:Bob.TrainingRun@1"
390                  bobNativeExecutionConfiguration))
391              (constructor StdList StdListEmpty Bytes)))))))

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.