Interface HighlightedTraceEmbed

interface HighlightedTraceEmbed {
    children: StrictOrLazy<
        TaggedText<HighlightedMsgEmbed>[],
        LazyTraceChildren,
    >;
    cls: string;
    collapsed: boolean;
    indent: number;
    msg: TaggedText<HighlightedMsgEmbed>;
}