~/jendhub

def Cap.of_name.go

bend-osdev-caps@0.1.0.0 · caps.bend:173

import bend-osdev-caps@0.1.0.0/caps.bend as Caps
import Base

173def Cap.of_name.go(xs: List<&2, String>, +s: String, +k: U32) -> Maybe<&2, U32>:
174  match xs:
175    case Nil{}:
176      None{}
177    case Con{h, t}:
178      Cap.of_name.hit(String.eq(h, s), k, Cap.of_name.go(t, s, U32.add(k, 1)))

Uses (7)

Used by (1)