Skip to content

Commit

Permalink
[exec.snd.expos] Move write-env paragraph into itemdescr (#7571)
Browse files Browse the repository at this point in the history
  • Loading branch information
jensmaurer authored Jan 18, 2025
1 parent 1c398ff commit 569e2a3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions source/exec.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1893,7 +1893,6 @@
};
};
\end{codeblock}
\end{itemdescr}
Invocation of
\tcode{\exposid{impls-for}<\exposid{write-env-t}>::\exposid{get-env}}
returns an object \tcode{e} such that
Expand All @@ -1905,8 +1904,9 @@
the expression \tcode{e.query(q)} is expression-equivalent
to \tcode{state.query(q)} if that expression is valid,
otherwise, \tcode{e.query(q)} is expression-equivalent
to \tcode{get_env(rcvr).query(q)}.
to \tcode{get_env(rcvr).que\-ry(q)}.
\end{itemize}
\end{itemdescr}

\rSec2[exec.snd.concepts]{Sender concepts}

Expand Down

0 comments on commit 569e2a3

Please sign in to comment.