Def WithCStarModule.addEquiv

Modification history