z3_sys

Function Z3_get_decl_parameter_kind

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

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.