75def dataParallelWidth =
76 (lambda erased contribution : Nat .
77 (lambda erased update : Nat .
78 (lambda unrestricted system : (family DataParallelSystem contribution update) .
79 (eliminate
80 DataParallelSystem
81 (lambda unrestricted current : (family DataParallelSystem contribution update) . Nat)
82 system
83 (branch
84 DataParallelSystemOf
85 parameters
86 width
87 program
88 rule
89 initial
90 state
91 rate
92 samples
93 .
94 width)))))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.