List of all items

Structs

• Atom
• BoundDecl
• Clause
• Constraints
• Decl
• FunctionSym
• PredicateSym
• TransformStmt
• Unit

Enums

• BaseTerm
• Const
• Term

Functions

• copy_atom
• copy_base_term
• copy_clause
• copy_const
• copy_predicate_sym
• copy_transform