1247def dpOutput =
1248 (lambda unrestricted c : Nat .
1249 (lambda unrestricted u : Nat .
1250 (lambda unrestricted system : (family DataParallelSystem c u) .
1251 (lambda unrestricted layout : (family NativeDataParallelLayout) .
1252 (niOutput (dpStateAt layout) (dpStateBytes c u system) dpHalt)))))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.