pes_static.ptr</span> option</span> <a href="index.html#type-typ">typ</a></span></code></dt><dt class="spec value" id="val-string"><a href="#val-string" class="anchor"></a><code><span class="keyword">val</span> string : <span>string <a href="index.html#type-typ">typ</a></span></code></dt><dt class="spec value" id="val-string_opt"><a href="#val-string_opt" class="anchor"></a><code><span class="keyword">val</span> string_opt : <span><span>string option</span> <a href="index.html#type-typ">typ</a></span></code