def Fin.split.step

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

import Base

74def Fin.split.step(-a: Nat, -b: Nat, split: Either<Fin(a), Fin(b)>) -> Either<Fin(1n+a), Fin(b)>:
75  match split:
76    case Inl{index}:
77      Inl{FNext{index}}
78    case Inr{index}:
79      Inr{index}