Added search functions in `Ranges.v3`

titzer / virgil

A fast and lightweight native programming language

1.24k stars 51 forks source link

Closed linxuanm closed 1 month ago

linxuanm commented 1 month ago

Added various binary search functions from the optimization PR in Wizard to Ranges.v3.

TODO: add tests in RangesTest.v3