def reduce_counted
import stelliferous@0.0.2.0/tensor.bend as Tensorimport Base
503def reduce_counted(~Element: Data,~operation: Element -> Element -> Element,name: String,pair: Tensor<Element> & U32,+initial: Element) -> Tensor<Element>:
504 (tensor,+count) = pair
505 scalar_result(~Element,initial,count,reduce(~Element,~Element,~operation,name,tensor,initial))