def Fin

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

import Base

7def Fin(n: Nat) -> Data:
8  match n:
9    case 0n:
10      Empty
11    case 1n+k:
12      Fin.Step<k>