docs: More intra-doc linking, bit of formatting. (#6963)

Z3Prover · Oct 25, 2023 · 236afeb · 236afeb
1 parent 7b49054
commit 236afeb
Show file tree

Hide file tree

Showing 2 changed files with 258 additions and 2 deletions.
diff --git a/src/api/z3_api.h b/src/api/z3_api.h
@@ -5594,14 +5594,14 @@ extern "C" {
     void Z3_API Z3_add_const_interp(Z3_context c, Z3_model m, Z3_func_decl f, Z3_ast a);
 
     /**
-       \brief Increment the reference counter of the given Z3_func_interp object.
+       \brief Increment the reference counter of the given \c Z3_func_interp object.
 
        def_API('Z3_func_interp_inc_ref', VOID, (_in(CONTEXT), _in(FUNC_INTERP)))
     */
     void Z3_API Z3_func_interp_inc_ref(Z3_context c, Z3_func_interp f);
 
     /**
-       \brief Decrement the reference counter of the given Z3_func_interp object.
+       \brief Decrement the reference counter of the given \c Z3_func_interp object.
 
        def_API('Z3_func_interp_dec_ref', VOID, (_in(CONTEXT), _in(FUNC_INTERP)))
     */