When the type of a definition/theorem changed, print old and new types. Probably, this should be activated by something like `--print-changed-types`. Highlighting the differences would be awesome but even printing both types is already helpful.
When the type of a definition/theorem changed, print old and new types.
Probably, this should be activated by something like
--print-changed-types.Highlighting the differences would be awesome but even printing both types is already helpful.