parse_res_union Union Reference

List of all members.

Public Attributes
CNode *	c
Term *	t
string *	s

---

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

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