let pp_range fmt = function | Block -> Format.fprintf fmt "-" | Index k -> Format.fprintf fmt "[%a]" F.pp_term k | Range(a,b) -> Format.fprintf fmt "[%a:%a]" F.pp_term a F.pp_term b