let pp_descr fmt x = Format.fprintf fmt "logic %s : %a" x.lv_name !Ast_printer.d_logic_type x.lv_type