align="top"><a id="aa43b5613e56d803308bbc26bda9a4328" name="aa43b5613e56d803308bbc26bda9a4328"></a>
static std::optional&lt; <a class="el" href="classproofs_1_1_nat.html">T</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><b>of_untrusted_string</b> (const char *s)</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 id="header-pub-attribs" class="groupheader"><a id="pub-attribs" name="pub-attribs"></a>
Data Fields</h2></td></tr>
<tr class="memitem:a7766f1aca23f09a