def drop_map

bendtorch@1.3.0.0 · tensor.bend:274

import Base

274def drop_map(+s: List<&2, Nat>, +k: Nat) -> IMap:
275  Drop{U32.from_nat(inner(s, k)), U32.from_nat(at1(s, k))}