Module symbol_dictionary 

Symbol Dictionary component for displaying FOL symbol meanings.

Automatically extracts symbols from a First-Order Logic formula and displays them grouped by category with descriptions.

Re-exports

pub use SymbolLegend_completions::Component::SymbolLegend;

Structs

SymbolDictionaryProps

Props for the SymbolDictionary component

SymbolLegendProps

Properties for the SymbolLegend component.

Functions

SymbolDictionary

Symbol Dictionary component that auto-generates from FOL output

SymbolLegend

Compact inline symbol legend for quick reference