def zip_extents

bendtorch-core@0.1.0.0 · src/tensor/batched_matmul_LAWS.bend:336

import Base

336def zip_extents(left: List<&2, Nat>, right: List<&2, Nat>) -> List<&2, Nat>:
337  match left right:
338    case a <> lt b <> rt:
339      extent(a, b) <> zip_extents(lt, rt)
340    case lt rt:
341      Nil{}