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.