def Fin.shift

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

import Base

67def Fin.shift(a: Nat, -b: Nat, index: Fin(b)) -> Fin(Nat.add(a, b)):
68  match a:
69    case 0n:
70      index
71    case 1n+p:
72      FNext{Fin.shift(p, b, index)}