Z3_ast_print_mode constructor

Z3_ast_print_mode()