getParamHelp method

String getParamHelp()

Implementation

String getParamHelp() {
  return _c._z3.tactic_get_help(_tactic).cast<Utf8>().toDartString();
}