Function z3_sys::Z3_ast_map_erase [−][src]
pub unsafe extern "C" fn Z3_ast_map_erase(
c: Z3_context,
m: Z3_ast_map,
k: Z3_ast
)
Expand description
Erase a key from the map.
pub unsafe extern "C" fn Z3_ast_map_erase(
c: Z3_context,
m: Z3_ast_map,
k: Z3_ast
)
Erase a key from the map.