let pp_title fmt x =
      Format.fprintf fmt "Logic type '%s'" x.lt_name