Crate sophia_term
source ·Expand description
I define implementations of sophia_api::term::Term
as well as associated types.
Structs
- Error raised when trying to convert another kind of term to
GenericLiteral
- A stash is a collection of strings that can be reused to avoid allocating identical string multiple times.
Enums
- This type is mostly required as one of the variants of
GenericTerm
. - A generic implementation of
Term
.