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 256–267

dataParallelTotalMass

Full file
256def dataParallelTotalMass =
257  (lambda erased contribution : Nat .
258    (lambda erased update : Nat .
259      (lambda unrestricted system : (family DataParallelSystem contribution update) .
260        (stdListFold
261          (family StdList (family StdList StdU64))
262          Nat
263          (lambda unrestricted owned : (family StdList (family StdList StdU64)) .
264            (lambda unrestricted rest : Nat .
265              (naturalAdd (stdListLength (family StdList StdU64) owned) rest)))
266          0
267          (dataParallelOwnerSamples contribution update system)))))

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.