Module ast 

Structs

FormulaArena

An arena-based allocator for managing the Formula abstract syntax tree.

Enums

Atomic

Represents atomic propositions in the logic system. This includes fundamental set-theoretic and topological relations.

Formula

Represents a recursive logical formula in the Abstract Syntax Tree (AST).

Var

Represents a variable in the logical formula. Variables can either be freely named (Free) or bound to a De Bruijn index (Bound).