227def dpStateBytes =
228 (lambda unrestricted c : Nat .
229 (lambda unrestricted u : Nat .
230 (lambda unrestricted system : (family DataParallelSystem c u) .
231 (naturalAdd nativeRegionCaptureBytes (dpReplicatedBytes 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.