123456789101112131415161718192021222324(* TODO The presence of `attrs` in several of these nodes is leaking an
implementation detail: we have no support for attributes in `Concat`
`Soft_break` or `Html` nodes. The attributes are just dropped during
rendering. Should we remove this from the UI, or should we include
those somehow? Or should we include these in the document model, but
but with the caveat that most renderings of the document don't support
attributes in these nodes? *)type'attrinline=|Concatof'attr*'attrinlinelist|Textof'attr*string|Emphof'attr*'attrinline|Strongof'attr*'attrinline|Codeof'attr*string|Hard_breakof'attr|Soft_breakof'attr|Linkof'attr*'attrlink|Imageof'attr*'attrlink|Htmlof'attr*stringand'attrlink={label:'attrinline;destination:string;title:stringoption}