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 191–210

dataParallelRateWord

Full file
191def dataParallelRateWord =
192  (lambda erased contribution : Nat .
193    (lambda erased update : Nat .
194      (lambda unrestricted system : (family DataParallelSystem contribution update) .
195        (eliminate
196          DataParallelSystem
197          (lambda unrestricted current : (family DataParallelSystem contribution update) . StdU64)
198          system
199          (branch
200            DataParallelSystemOf
201            parameters
202            width
203            program
204            rule
205            initial
206            state
207            rate
208            samples
209            .
210            rate)))))

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.