Monty already supports Python type annotations and can run static typechecking via ty before execution, using optional stub definitions. This proposal is to treat those same annotations as runtime ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results