[−][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 |
Type Definitions
| ArcTermFactory | |
| FTerm | Type alias for the terms produced by a term factory. |
| RcTermFactory |