but the python datetime.time class doesn't seem to have defined arithmetic operators, nor does the datetime.timedelta. if there are methods for this, that's not obvious to me either: Code: ...

Human-readable and machine-generated lock file will specify what direct and indirect dependencies should be installed into a Python environment.