prog

Formal Comparison of Interfaces

3 2021-10-30 19:27: >>2
This would tell you that the other implies the one, but I'm not sure we want to hold the possible operations invariant, nor to look for strictly expanding/reducing possible operations.
6: VIP:

do not edit these