Module mode_toggle 

Studio mode toggle component.

Provides a segmented control for switching between Logic, Code, Math, and Hardware modes in the Studio playground. Icons indicate each mode; labels are hidden on mobile.

Props

• mode - Currently active mode
• on_change - Callback when a new mode is selected

Modes

• Logic (∀): English-to-FOL translation
• Code (λ): Vernacular programming REPL
• Math (π): LaTeX formula builder
• Hardware (⚙): English-to-SVA synthesis with in-browser certified proving

Re-exports

pub use ModeToggle_completions::Component::ModeToggle;

Structs

ModeToggleProps

Properties for the ModeToggle component.

Functions

ModeToggle

Props