span class="xref-unresolved">Z3</span>.FuncDecl.func_decl * <span class="xref-unresolved">Z3</span>.Symbol.symbol)</span> list</span></span></code></div><div class="spec-doc"><p><code>get_decls_and_symbols</code> builds from a the var_map in an environment a mapping of all Z3 func_decl to their symbol. This is a helper function for <code>mk_smtlib2</code></p></div></div><div class="odoc-spec"><div class="spec value" id="val-mk_smtlib2_single" class="anchored"><a href="#val-mk_smtlib2_single" class="anchor">