parse_result Struct Reference

List of all members.

Public Attributes
PARSE_KIND	kind
parse_res_union	res

---

The documentation for this struct was generated from the following files:

• parser/mistral-parser-defs.h
• smtparser/smt-parser-defs.h