Module debug 

Debug display utilities for AST types with interner access.

This module provides the DisplayWith trait for formatting AST types that contain interned symbols. Since symbols are just integer IDs, displaying them requires access to the interner to resolve the actual strings.

Use the .with(interner) method to create a displayable wrapper:

use logicaffeine_language::debug::DisplayWith;

let expr: LogicExpr = ...;
println!("{}", expr.with(&interner));

Structs

DebugWorld

WithInterner

Traits

DisplayWith

Trait for formatting types that require an interner for symbol resolution.