t;</span> bool</code></dt><dt class="spec value" id="val-create_callee_attributes"><a href="#val-create_callee_attributes" class="anchor"></a><code><span class="keyword">val</span> create_callee_attributes : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> <a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span>&#45;&gt;</span> Javalib_pack.JBasics.class_name <span>&#45;&gt;</span> Javalib_pack.JBasics.method_signature <span>&#45;&gt;</span> <a href="../../IR/Procn