@leanprover/infoview
    Preparing search index...

    Type Alias InfoWithCtx

    InfoWithCtx: RpcPtr<"Lean.Widget.InfoWithCtx">

    Settings
    Member Visibility