852def dpLocal =
853 (lambda unrestricted c : Nat .
854 (lambda unrestricted u : Nat .
855 (lambda unrestricted system : (family DataParallelSystem c u) .
856 (lambda unrestricted layout : (family NativeDataParallelLayout) .
857 (lambda unrestricted owner : Nat .
858 (lambda unrestricted contribution : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
859 (lambda unrestricted update : (pi unrestricted tail : (family NativePhysicalCommands) . (family NativePhysicalCommands)) .
860 (lambda unrestricted operation : (family DataParallelRoundOperation) .
861 (eliminate
862 DataParallelRoundOperation
863 (lambda unrestricted current : (family DataParallelRoundOperation) .
864 (pi unrestricted tail : (family NativePhysicalCommands) .
865 (family NativePhysicalCommands)))
866 operation
867 (branch
868 DataParallelContribute
869 .
870 (dpContribute c u system layout (dpParametersAt layout) owner contribution))
871 (branch
872 DataParallelCombine
873 value
874 .
875 (nativeCombineLocal
876 (dpPlacement layout)
877 (dpLeafAt layout)
878 (dpApply c u system)
879 value))
880 (branch DataParallelUpdate . (dpUpdate c u system layout update)))))))))))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.