def Cand.i

bend-ml-llama@0.2.1.0 · main.bend:1137

import Base

1137def Cand.i(c: Cand) -> Nat:
1138  match c:
1139    case Cand{v, i}:
1140      i