[m-rev.] for post-commit review: "unused" eqv types

[Peter Wang]

On Tue, 10 Aug 2021 13:11:40 +1000 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> 
> If module A imports module B, and some predicate p in module B
> refers to a an equivalence type in module C, then A does NOT thereby
> refer to module C if it does not call (or take the address of) predicate p.

Yes, that's true.

Peter