def ix.find
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport Base
1562def ix.find(xs: List<&2, Ix>, +k: Sk) -> U32:
1563 match xs:
1564 case Nil{}:
1565 seed.id()
1566 case Con{Ix{key, +id}, t}:
1567 Bool.pick(U32, sk.eq(key, k), id, ix.find(t, k))