Z3_get_decl_name

z3_sys

Function Z3_get_decl_name 

Source 
pub unsafe extern "C" fn Z3_get_decl_name(
    c: Z3_context,
    d: Z3_func_decl,
) -> Option<Z3_symbol>
Expand description

Return the constant declaration name as a symbol.