Insert annotations into your source code based on call arguments and return types observed at runtime.

This package contains both the library and the command-line tool.