e translation function.</p></dd></dl><dl><dt class="spec value" id="val-empty_control"><a href="#val-empty_control" class="anchor"></a><code><span class="keyword">val</span> empty_control : <a href="index.html#type-control">control</a></code></dt><dt class="spec value" id="val-mk_trans_result"><a href="#val-mk_trans_result" class="anchor"></a><code><span class="keyword">val</span> mk_trans_result : <span>?&#8288;method_name:<a href="../IR/BuiltinDecl/index.html#type-t">IR.BuiltinDecl.t</a></span> <span>&#45