Module Core_extended__Interval_map_intf.M.S.Let_syntax.Let_syntax.Open_on_rhs