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