method vlogic_type lty = Jessie_options.feedback "%a" !Ast_printer.d_logic_type lty; visitor#vlogic_type lty