Elementwise binary64 addition of `count` words.
718def dpoApplyWords =
719 (lambda unrestricted count : Nat .
720 (lambda unrestricted out : Nat .
721 (lambda unrestricted left : Nat .
722 (lambda unrestricted right : Nat .
723 (dpEach
724 count
725 (lambda unrestricted index : Nat .
726 (dpAdd
727 (nativePointwiseAt out index)
728 (nativePointwiseAt left index)
729 (nativePointwiseAt right index))))))))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.