let
dichotomy = dichotomy_extended (
fun
inf sup
->
inf + (sup-inf)/2) succ pred