AlphaGitHub
Source/Packages

Runtime.NativeDataParallel

packages/execution/src/Runtime/NativeDataParallel.alpha

1,529 lines92 declarations70.3 KiBSHA-256 a009e951c1b2
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 263–281

dpContract

Full file
263def dpContract =
264  (lambda unrestricted topology : (family DataParallelTopology) .
265    (lambda unrestricted owners : Nat .
266      (constructor
267        NumericalContract
268        NumericalContractOf
269        nativeFiniteFloat64Profile
270        (constructor
271          StdList
272          StdListCons
273          (family StdNumericOperation)
274          stdOpAdd
275          (constructor
276            StdList
277            StdListCons
278            (family StdNumericOperation)
279            stdOpAdd
280            (constructor StdList StdListEmpty (family StdNumericOperation))))
281        (constructor NumericalRelation NumericalExactOrder (dpRelation topology owners)))))

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.