Crate mangle_ast

Source

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