range.ml

type t = int * int

let find_map (lo, hi) ~f =
  let rec loop i =
    if i = hi then None
    else
      match f i with
      | None -> loop (i + 1)
      | Some y -> Some y
  in
  loop lo