astToString method

String astToString(
  1. AST ast
)

Prints an AST to a string.

Implementation

String astToString(AST ast) {
  return _z3.ast_to_string(_createAST(ast)).cast<Utf8>().toDartString();
}