Module Core_extended.Interval_map_intf.M.Make_with_boundary.Let_syntax.Let_syntax.Open_on_rhs