let pp_interval fmt rg =
    let pp_opt fmt = function
      | None -> ()
      | Some d -> F.pp_term fmt d
    in
    Format.fprintf fmt "[%a..%a]" pp_opt rg.inf pp_opt rg.sup