MALL&quot;.</p></dd></dl><dl><dt class="spec value" id="val-session_has_received_message"><a href="#val-session_has_received_message" class="anchor"></a><code><span class="keyword">val</span> session_has_received_message : <span><a href="../Types/Session/index.html#type-t">Types.Session.t</a> Ctypes_static.ptr</span> <span>&#45;&gt;</span> int</code></dt><dd><p><code>session_has_received_message sess</code></p></dd></dl><dl><dt class="spec value" id="val-session_describe"><a href="#val-session_describe" cla