MODULE Egraph;

IMPORT Equiv;

REVEAL T = Public BRANDED "Egraph.T" OBJECT OVERRIDES init := Init END;

PROCEDURE Init (e: T): T =
  BEGIN
    EVAL Equiv.T.init(e);
    RETURN e
  END Init;

BEGIN
END Egraph.