def bsearch.sorted

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

import Base

26def bsearch.sorted(xs: List<&2, U32>) -> Bool:
27  match xs:
28    case Nil{}:
29      True{}
30    case Con{x, t}:
31      bsearch.sorted.pair(t, x)