| _counter | Term::Data | [protected] |
| _tag | Term::Data | [protected] |
| _var | Term::VarData | [private] |
| Data() | Term::Data | |
| Data(Tag tag) | Term::Data | [inline, explicit] |
| deref() | Term::Data | [inline] |
| destroy() | Term::Data | [inline] |
| ref() | Term::Data | [inline] |
| tag() const | Term::Data | [inline] |
| var() const | Term::VarData | [inline] |
| VarData(Var v) | Term::VarData | [inline, explicit] |
| ~Data() | Term::Data | [inline] |
1.3.2