@leanprover/infoview
    Preparing search index...

    Type Alias LazyTraceChildren

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

    Settings
    Member Visibility