Package lib

Transformation library.

Submodules

transf.lib._common: Common code for term matching, building, and congruent traversal transformations.
transf.lib.annotation: High-level annotation transformations.
transf.lib.arith: Arithmetic transformations.
transf.lib.base: Base transformation classes.
transf.lib.build: Term building transformations.
transf.lib.combine: Transformation combinators.
transf.lib.congruent: Congruent term transformations.
transf.lib.debug: Debugging transformations.
transf.lib.iterate: Transformations for iterating terms.
transf.lib.lists: List manipulation transformations.
transf.lib.match: Term matching transformations.
transf.lib.path: Path transformations.
transf.lib.project: Term projecting transformations.
transf.lib.scope: Transformations which introduce new scopes.
transf.lib.strings: String manipulation transformations.
transf.lib.traverse: Term traversal transformations.
transf.lib.ui: User data input transformations.
transf.lib.unify: Term unifying transformations.