@leanprover/infoview
    Preparing search index...

    Type Alias ContextInfo

    ContextInfo: RpcPtr<"Lean.Elab.ContextInfo">

    Settings
    Member Visibility