[−][src]Module sophia_term::factory
A TermFactory can be used to create terms while preventing the proliferation of duplicate string.
This is especially useful for RcTerms and ArcTerms,
for which two implementations of TermFactory are provided.
Traits
| TermFactory | A factory for terms. |
Type Definitions
| ArcTermFactory | A |
| FTerm | Type alias for the terms produced by a term factory. |
| RcTermFactory | A |