def all_map

bendtorch@1.3.0.0 · tensor.bend:426

import Base

426# every position to position 0: the whole-tensor reductions
427def all_map(+s: List<&2, Nat>) -> IMap:
428  Drop{1, U32.from_nat(numel(s))}