getParamDescriptions method
Implementation
ParamDescs getParamDescriptions() {
return _c._getParamDescriptions(_c._z3.tactic_get_param_descrs(_tactic));
}
ParamDescs getParamDescriptions() {
return _c._getParamDescriptions(_c._z3.tactic_get_param_descrs(_tactic));
}