env&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Ast</span>.defs&nbsp;*&nbsp;<span class="constructor">Ast</span>.lex_skips&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Typed_ast</span>.env&nbsp;*&nbsp;(<span class="constructor">Typed_ast</span>.def&nbsp;list&nbsp;*&nbsp;<span class="constructor">Ast</span>.lex_skips)<br>
<span class="keyword">end</span></code></body></html>