Binary Search - Lean | SlaveCode