def Fin.unpack.lift

bendtorch-core@0.1.0.0 · src/shape/core.bend:112

import Base

112def Fin.unpack.lift(-a: Nat, -b: Nat, coordinate: Fin(a) & Fin(b)) -> Fin(1n+a) & Fin(b):
113  (head, tail) = coordinate
114  (FNext{head}, tail)