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