def Fin.value

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

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

import Base

14def Fin.value(+n: Nat, index: Fin(n)) -> Nat:
15  match n:
16    case 0n:
17      match index:
18    case 1n+k:
19      match index:
20        case FZero{}:
21          0n
22        case FNext{previous}:
23          1n+Fin.value(k, previous)

Uses (3)

Used by (31)