@leanprover/infoview
    Preparing search index...

    Type Alias TermInfo

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

    Settings
    Member Visibility