getParamDescriptions method

ParamDescs getParamDescriptions()

Implementation

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