Function z3_sys::Z3_get_decl_parameter_kind

pub unsafe extern "C" fn Z3_get_decl_parameter_kind(
    c: Z3_context, 
    d: Z3_func_decl, 
    idx: c_uint
) -> ParameterKind

Return the parameter type associated with a declaration.

• c: the context
• d: the function declaration
• idx: is the index of the named parameter it should be between 0 and the number of parameters.