let pp_title fmt x =
         Format.fprintf fmt "Equality for %a" F.Arrayinfo.pp_title x