param_descrs_get_kind method

int param_descrs_get_kind(Z3_context c, Z3_param_descrs p, Z3_symbol n)

\brief Return the kind associated with the given parameter name \c n.

def_API('Z3_param_descrs_get_kind', UINT, (_in(CONTEXT), _in(PARAM_DESCRS), _in(SYMBOL)))

Implementation

int param_descrs_get_kind(
  Z3_context c,
  Z3_param_descrs p,
  Z3_symbol n,
) {
  return _param_descrs_get_kind(
    c,
    p,
    n,
  );
}