def bsearch.find.check

bend-osdev-algo@0.1.0.0 · bsearch.bend:58

import Base

58def bsearch.find.check(+i: Nat, m: Maybe<&2, U32>, key: U32) -> Maybe<&2, Nat>:
59  match m:
60    case None{}:
61      None{}
62    case Some{x}:
63      bsearch.find.hit(U32.is_eq(x, key), i)