[−][src]Function z3_sys::Z3_ast_map_erase
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.
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.