Skip to content

Commit f6a311c

Browse files
formatting
1 parent 090d0d7 commit f6a311c

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

specification/session/names.tex

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -124,6 +124,7 @@ \subsection{Resolution examples}
124124
supplied. The pin on a rule's \texttt{to} string, if present, is honoured
125125
instead.
126126

127+
{\footnotesize
127128
\begin{CyphalSimpleTable}[wide]{Name resolution with remap}{|l l l l l r X|}
128129
Name & From & To & Namespace & Home & Pin & Remark \\
129130
\texttt{foo/bar} & \texttt{foo/bar} & \texttt{zoo} & \texttt{ns} & \texttt{me} & -- & Relative remap; resolved name is \texttt{ns/zoo}. \\
@@ -132,6 +133,7 @@ \subsection{Resolution examples}
132133
\texttt{foo/bar} & \texttt{foo/bar} & \texttt{/zoo} & \texttt{ns} & \texttt{me} & -- & Absolute remap; namespace is ignored; resolved name is \texttt{zoo}. \\
133134
\texttt{foo/bar} & \texttt{foo/bar} & \texttt{\textasciitilde/zoo} & \texttt{ns} & \texttt{me} & -- & Homeful remap; the tilde expands to \texttt{me}; resolved name is \texttt{me/zoo}. \\
134135
\end{CyphalSimpleTable}
136+
}
135137

136138
The following inputs cause resolution to fail:
137139

0 commit comments

Comments
 (0)