k.JBir.t <span>&#45;&gt;</span> Javalib_pack.JBasics.class_name <span>&#45;&gt;</span> <a href="../../IBase/SourceFile/index.html#type-t">IBase.SourceFile.t</a> <span>&#45;&gt;</span> <a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dd><p>cretes a context for a given method.</p></dd></dl><dl><dt class="spec value" id="val-get_tenv"><a href="#val-get_tenv" class="anchor"></a><code><span class="keyword">val</span> get_tenv : <a