Crate ocas_atom 

Symbolic expression tree and rewriting for oCAS.

This crate provides the Atom type: an arena-backed, tagged-union representation of symbolic expressions. Atoms are immutable, copyable references into an Arena and form the core data structure used by the parser, printer, and rewrite engine.

Modules

normalize

Normalization for Atom expression trees.

walk

Read-only traversal utilities over expression trees.

Structs

Atom

A reference to an expression node allocated in an arena.

AtomArena

A context that allocates Atoms in an Arena.

Symbol

An interned symbolic name (variable, function, or constant).

Enums

AtomNode

The concrete data stored for each expression node.