Function z3_sys::Z3_ast_map_find
source · pub unsafe extern "C" fn Z3_ast_map_find(
c: Z3_context,
m: Z3_ast_map,
k: Z3_ast
) -> Z3_ast
Expand description
Return the value associated with the key k
.
The procedure invokes the error handler if k
is not in the map.