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 234–240

dataParallelOwners

Full file
234def dataParallelOwners =
235  (lambda erased contribution : Nat .
236    (lambda erased update : Nat .
237      (lambda unrestricted system : (family DataParallelSystem contribution update) .
238        (stdListLength
239          (family StdList (family StdList StdU64))
240          (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.