List of all items

Structs

• Clause
• ClauseDataset
• ClauseIter
• ClauseRef
• Database
• Name
• Predicate
• ProveCx
• Term
• intern::AnyArena
• intern::AnyInternSet
• intern::AnyInterner
• intern::DroplessInternSet
• intern::DroplessInterner
• intern::Interned
• intern::Interner
• intern::RawInterned
• intern::TypedArena
• intern::UnsafeLock

Enums

• Expr

Traits

• Intern
• Parse
• intern::Dropless

Functions

• parse_str

Constants

• VAR_PREFIX