getParamDescriptions method

ParamDescs getParamDescriptions()

Implementation

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