| .. 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}} |
| |