Onegadget parser = argparse.ArgumentParser(formatter_class=argparse.RawTextHelpFormatter, description='Show onegadget\n\nExamples:\n onegadget\n onegadget --show-unsat\n') module-attribute ¶ onegadget(show_unsat=False, no_unknown=False, verbose=False) ¶