let interval r = match r.inf,r.sup with | None,None -> integers | Some i, None -> range_inf i | None, Some j -> range_sup j | Some i, Some j -> loc_range i j