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