Assembly performs no arithmetic: its contract lists no operation and names
the selection order.
498def dpoAssembleContract =
499 (lambda unrestricted owners : Nat .
500 (constructor
501 NumericalContract
502 NumericalContractOf
503 nativeFiniteFloat64Profile
504 (constructor StdList StdListEmpty (family StdNumericOperation))
505 (constructor
506 NumericalRelation
507 NumericalExactOrder
508 (bytes-append b"data-parallel-assemble-owned-coordinates;owners=" (regionFrameWord 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.