Z3_param_kind constructor

Z3_param_kind()