@leanprover/infoview
    Preparing search index...

    Type Alias InteractiveCodeProps

    InteractiveCodeProps: InteractiveTextComponentProps<HighlightedSubexprInfo>

    Settings
    Member Visibility