def fin_of.next

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

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

40def fin_of.next(-bound: Nat, index: Maybe<&2, Shape.Fin(bound)>) -> Maybe<&2, Shape.Fin(1n+bound)>:
41  match index:
42    case None{}:
43      None{}
44    case Some{previous}:
45      Some{Shape.FNext{previous}}