Interface TraceEmbed

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