Function lazyTraceChildrenToInteractive

lazyTraceChildrenToInteractive(
    rs: RpcSessionAtPos,
    children: LazyTraceChildren,
    options?: ClientRequestOptions,
): Promise<TaggedText<MsgEmbed>[]>
Parameters
- rs: RpcSessionAtPos
- children: LazyTraceChildren
- Optionaloptions: ClientRequestOptions
Returns Promise<TaggedText<MsgEmbed>[]>
- Defined in lean4-infoview-api/dist/rpcApi.d.ts:113