Function z3_sys::Z3_ast_map_insert [−][src]
pub unsafe extern "C" fn Z3_ast_map_insert(
c: Z3_context,
m: Z3_ast_map,
k: Z3_ast,
v: Z3_ast
)
Expand description
Store/Replace a new key, value pair in the given map.