let
mk_range_inf =
"range_inf"