+ Over.opEquivOpUnder
+ Over.opToOpUnder
+ Over.opToUnderOp
+ Under.opEquivOpOver
+ Under.opToOpOver
+ Under.opToOverOp
+ instance [F.Faithful] : (Over.post (X := X) F).Faithful
+ instance [F.Faithful] : (Under.post (X := X) F).Faithful
+ instance [F.Faithful] [F.Full] : (Over.post (X := X) F).Full
+ instance [F.Faithful] [F.Full] : (Under.post (X := X) F).Full
+ instance [F.Full] [F.EssSurj] : (Over.post (X := X) F).EssSurj
+ instance [F.Full] [F.EssSurj] : (Under.post (X := X) F).EssSurj
+ instance [F.IsEquivalence] : (Over.post (X := X) F).IsEquivalence
+ instance [F.IsEquivalence] : (Under.post (X := X) F).IsEquivalence
++ mapCongr
++ mapIso
++ mapIso_functor
++ mapIso_inverse
++ postComp
++ postCongr
++ postEquiv
++ postMap
++ post_comp

## summary with just the declaration names:
./scripts/declarations_diff.sh <optional_commit>

## more verbose report:
./scripts/declarations_diff.sh long <optional_commit>

The doc-module for script/declarations_diff.sh contains some details about this script.

You can run this locally as

./scripts/technical-debt-metrics.sh pr_summary

• The relative value is the weighted sum of the differences with weight given by the inverse of the current value of the statistic.
• The absolute value is the relative value divided by the total sum of the inverses of the current values (i.e. the weighted average of the differences).