n> : <code class="type">bool ref</code></pre><div class="info">
Records whether the stdin is open for reading the goal *<br>
</div>
<pre><span id="VALstartParsing"><span class="keyword">val</span> startParsing</span> : <code class="type">?useBasename:bool -> string -> Lexing.lexbuf</code></pre><pre><span id="VALstartParsingFromString"><span class="keyword">val</span> startParsingFromString</span> : <code class="type">?file:string -> ?line:int -> string -> Lexing.lexbuf</code></pre><pre><span id="VALfinishPa