Function z3_sys::Z3_get_symbol_kind

pub unsafe extern "C" fn Z3_get_symbol_kind(
    c: Z3_context, 
    s: Z3_symbol
) -> SymbolKind

Return SymbolKind::Int if the symbol was constructed using Z3_mk_int_symbol, and SymbolKind::String if the symbol was constructed using Z3_mk_string_symbol.