an>)
<span class='lambda-kwd'>&amp;body</span>
<span class='arg-name'>body</span>
</code>
  </p>
<p class='docstring'>
<span class='arg-name'>Body</span> should be a program which writes exactly one JSON datum to <span class='arg-name'>stream</span>.  <span class='api-name'>As-object-member</span> ensures that the datum is properly formatted as a <span class='json'>Member</span> of an <span class='json'>Object</span>, i. e. preceded by the (encoded) <span class='arg-name'>key</span> and colon, and separated