def index.go

bend-kit-time@0.3.0.0 · time.bend:512

import bend-kit-time@0.3.0.0/time.bend as Time

import Base

512def index.go(xs: List<&2, String>, +w: String, +i: U32) -> U32:
513  match xs:
514    case Nil{}:
515      i
516    case Con{x, rest}:
517      Bool.pick(U32, String.eq(x, w), i, index.go(rest, w, (i + 1 : U32)))

Uses (6)

Used by (1)

bend-kit-time@0.3.0.0/time:word