let rec pp_print_sort ppf t = let t = interpr_type t in (* Print array types with an abstract sort *) match Type.node_of_type t with | Type.Array (te, ti) -> if Flags.Arrays.smt () then Format.fprintf ppf "(Array %a %a)" pp_print_sort ti pp_print_sort te else Format.fprintf ppf "(FArray %a %a)" pp_print_sort ti pp_print_sort te | _ -> Type.pp_print_type ppf t