getHelp method

String getHelp()

Implementation

String getHelp() {
  return _c._z3.fixedpoint_get_help(_fp).cast<Utf8>().toDartString();
}