Skip to content

Commit

Permalink
move para about write-env into write-env's itemdescr
Browse files Browse the repository at this point in the history
a paragraph about _`write-env`_ from P3396R1 got accidentally added outside of _`write-env`_'s `itemdescr`. move it inside.
  • Loading branch information
ericniebler authored Jan 12, 2025
1 parent b801b54 commit 0f14d00
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion 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 @@ -1907,6 +1906,7 @@
otherwise, \tcode{e.query(q)} is expression-equivalent
to \tcode{get_env(rcvr).query(q)}.
\end{itemize}
\end{itemdescr}

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

Expand Down

0 comments on commit 0f14d00

Please sign in to comment.