Function InteractiveDiagnostics_msgToInteractive

InteractiveDiagnostics_msgToInteractive(
    rs: RpcSessionAtPos,
    msg: MessageData,
    indent: number,
    options?: ClientRequestOptions,
): Promise<TaggedText<MsgEmbed>>
Parameters
- rs: RpcSessionAtPos
- msg: MessageData
- indent: number
- Optionaloptions: ClientRequestOptions
Returns Promise<TaggedText<MsgEmbed>>
- Defined in lean4-infoview-api/dist/rpcApi.d.ts:112