- | A.AttributedTerm (`Loc _, t) -> aux mathonly xref pos prec t
- | A.AttributedTerm (`Level (child_prec, child_assoc), t) ->
- let t' = aux mathonly xref pos child_prec t in
- add_parens child_prec child_assoc pos prec t'
- | A.AttributedTerm (`IdRef xref, t) -> aux mathonly (Some xref) pos prec t
- | A.Ident (literal, _) -> P.Mi (make_href xref, to_unicode literal)
- | A.Num (literal, _) -> P.Mn (make_href xref, to_unicode literal)
- | A.Symbol (literal, _) -> P.Mo (make_href xref,to_unicode literal)
- | A.Uri (literal, _) -> P.Mi (make_href xref, to_unicode literal)
- | A.Literal l -> aux_literal xref prec l
- | A.Layout l -> aux_layout mathonly xref pos prec l
+ | A.AttributedTerm (attr, t) ->
+ aux_attribute mathonly xref pos prec uris t attr
+ | A.Ident (literal, _) -> P.Mi (make_href xref [], to_unicode literal)
+ | A.Num (literal, _) -> P.Mn (make_href xref [], to_unicode literal)
+ | A.Symbol (literal, _) -> P.Mo (make_href xref uris, to_unicode literal)
+ | A.Uri (literal, _) -> P.Mi (make_href xref [], to_unicode literal)
+ | A.Literal l -> aux_literal xref prec uris l
+ | A.Layout l -> aux_layout mathonly xref pos prec uris l