Module context_view 

Context view panel for Code mode.

Displays the current proof context including definitions, inductive types, and their constructors. Organizes entries by category.

Props

• definitions - List of term definitions
• inductives - List of inductive type definitions

Key Types

• ContextEntry - A single definition or type in the context
• EntryKind - Definition, Inductive, or Constructor

Re-exports

pub use ContextView_completions::Component::ContextView;

Structs

ContextEntry

A definition entry in the context.

ContextViewProps

Properties for the ContextView component.

Enums

EntryKind

Functions

ContextView

Props