><tr id="type-function_descr.f_body" class="anchored"><td class="def record field"><a href="#type-function_descr.f_body" class="anchor"></a><code><span>f_body : <a href="#type-term">term</a>;</span></code></td></tr></table><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec module" id="module-Context" class="anchored"><a href="#module-Context" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Context/index.html">Context</a></span><span> : <span class="key