Crate mangle_ast 

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