parser method

ParserContext parser()

Implementation

ParserContext parser() => _getParserContext(_z3.mk_parser_context());