ef="#val-t" class="anchor"></a><code><span class="keyword">val</span> t : <span><a href="index.html#type-t">t</a> <a href="../index.html#argument-1-F">F</a>.typ</span></code></dt><dt class="spec value" id="val-public_key"><a href="#val-public_key" class="anchor"></a><code><span class="keyword">val</span> public_key : <span><span>(<a href="../ED25519PublicKey/index.html#type-t">ED25519PublicKey.t</a>, <a href="index.html#type-t">t</a>)</span> <a href="../index.html#argument-1-F">F</a>.field</span></code></d