54def dataParallelParameters =
55 (lambda erased contribution : Nat .
56 (lambda erased update : Nat .
57 (lambda unrestricted system : (family DataParallelSystem contribution update) .
58 (eliminate
59 DataParallelSystem
60 (lambda unrestricted current : (family DataParallelSystem contribution update) . Nat)
61 system
62 (branch
63 DataParallelSystemOf
64 parameters
65 width
66 program
67 rule
68 initial
69 state
70 rate
71 samples
72 .
73 parameters)))))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.