| .. LINK MACROS | |
| .. External Standards | |
| .. ------------------ | |
| .. External Definitions | |
| .. -------------------- | |
| .. MATH MACROS | |
| .. Abstract Syntax | |
| .. --------------- | |
| .. Values, non-terminals | |
| .. Binary Format | |
| .. ------------- | |
| .. Code Metadata, non-terminals | |
| .. |Bcodemetadatasec| mathdef:: \xref{binary}{binary-codemetadata}{\B{codemetadatasec}} | |
| .. |Bcodemetadata| mathdef:: \xref{binary}{binary-codemetadata}{\B{codemetadata}} | |
| .. |Bcodemetadatafunc| mathdef:: \xref{binary}{binary-codemetadata}{\B{codemetadatafunc}} | |
| .. |Bcodemetadataitem| mathdef:: \xref{binary}{binary-codemetadata}{\B{codemetadataitem}} | |
| .. Branch Hints, non-terminals | |
| .. |Bbranchhintsec| mathdef:: \xref{binary}{binary-branchhints}{\B{branchhintsec}} | |
| .. |Bbranchhint| mathdef:: \xref{binary}{binary-branchhints}{\B{branchhint}} | |
| .. |Bunlikely| mathdef:: \xref{binary}{binary-branchhints}{\B{unlikely}} | |
| .. |Blikely| mathdef:: \xref{binary}{binary-branchhints}{\B{likely}} | |
| .. Text Format | |
| .. ----------- | |
| \production{code metadata annotation} & \Tcodemetadataannot(\B{T}) &::=& | |
| .. Branch Hints, non-terminals | |
| .. |Tcodemetadataannot| mathdef:: \xref{text}{text-codemetadata}{\T{codemetadataannot}} | |