def bsearch.find.hit

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

import Base

51def bsearch.find.hit(c: Bool, i: Nat) -> Maybe<&2, Nat>:
52  match c:
53    case True{}:
54      Some{i}
55    case False{}:
56      None{}