Add typing and documentation for Option and OptionGroup.
Review Request #13029 — Created May 10, 2023 and submitted — Latest diff uploaded
Option
andOptionGroup
are old and didn't comply with much of our
modern standards for documentation. Now that these have been moved into
rbtools.commands.base.options
, it's a good time to fix all this up,
and to prepare for upcoming changes.This change adds missing docs and introduces typing to the whole module.
Posted with this change.
Verified that the type checkers were happy.