AlphaGitHub
Source/Packages

Learning.DataParallel

packages/learning/src/Learning/DataParallel.alpha

672 lines35 declarations28.2 KiBSHA-256 f725f80cd07f
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 162–182

dataParallelInitialStateWords

Full file
162def dataParallelInitialStateWords =
163  (lambda erased contribution : Nat .
164    (lambda erased update : Nat .
165      (lambda unrestricted system : (family DataParallelSystem contribution update) .
166        (eliminate
167          DataParallelSystem
168          (lambda unrestricted current : (family DataParallelSystem contribution update) .
169            (family StdList StdU64))
170          system
171          (branch
172            DataParallelSystemOf
173            parameters
174            width
175            program
176            rule
177            initial
178            state
179            rate
180            samples
181            .
182            state)))))

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.