p>Check whether an identifier represents a path or not.</p></dd></dl><dl><dt class="spec value" id="val-is_none"><a href="#val-is_none" class="anchor"></a><code><span class="keyword">val</span> is_none : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether an identifier is the special &quot;none&quot; identifier</p></dd></dl><dl><dt class="spec value" id="val-get_stamp"><a href="#val-get_stamp" class="anchor"></a><code><span class="keyword">val</span> get_stamp : <a 