getParamDescriptions method
Implementation
ParamDescs getParamDescriptions() {
return _c._getParamDescriptions(_c._z3.fixedpoint_get_param_descrs(_fp));
}
ParamDescs getParamDescriptions() {
return _c._getParamDescriptions(_c._z3.fixedpoint_get_param_descrs(_fp));
}