396def dpRegions =
397 (lambda unrestricted c : Nat .
398 (lambda unrestricted u : Nat .
399 (lambda unrestricted system : (family DataParallelSystem c u) .
400 (constructor
401 StdList
402 StdListCons
403 (family CheckpointLogicalRegion)
404 (constructor
405 CheckpointLogicalRegion
406 CheckpointLogicalRegionOf
407 b"parameters"
408 b"f64-le"
409 (dpParameterBytes c u system))
410 (nat-eliminate
411 (lambda unrestricted words : Nat . (family StdList (family CheckpointLogicalRegion)))
412 (constructor StdList StdListEmpty (family CheckpointLogicalRegion))
413 (lambda unrestricted previous : Nat .
414 (lambda unrestricted ignored : (family StdList (family CheckpointLogicalRegion)) .
415 (constructor
416 StdList
417 StdListCons
418 (family CheckpointLogicalRegion)
419 (constructor
420 CheckpointLogicalRegion
421 CheckpointLogicalRegionOf
422 b"optimizer-state"
423 b"f64-le"
424 (dpOptimizerBytes c u system))
425 (constructor StdList StdListEmpty (family CheckpointLogicalRegion)))))
426 (dpM c u system))))))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.