diff --git a/source/exec.tex b/source/exec.tex index 4f5f491425..613b3b29ec 100644 --- a/source/exec.tex +++ b/source/exec.tex @@ -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 @@ -1902,11 +1901,12 @@ \tcode{decltype(e)} models \exposconcept{queryable} and \item given a query object \tcode{q}, -the expression \tcode{e.query(q)} is expression-equivalent +the expression \tcode{e.query(q)} is ex\-pres\-sion-equiv\-alent to \tcode{state.query(q)} if that expression is valid, -otherwise, \tcode{e.query(q)} is expression-equivalent +otherwise, \tcode{e.query(q)} is ex\-pres\-sion-equiv\-alent to \tcode{get_env(rcvr).query(q)}. \end{itemize} +\end{itemdescr} \rSec2[exec.snd.concepts]{Sender concepts}