Module Core_extended__Interval_map.S_with_boundary.Let_syntax.Let_syntax.Open_on_rhs