class Z3::Printer

# File lib/z3/printer.rb, line 3
def format(a)
  format_ast(a).to_s
end