juno-machine/src/Egraph.m3


 Copyright (C) 1992, Digital Equipment Corporation                         
 All rights reserved.                                                      
 See the file COPYRIGHT for a full description.                            
                                                                           
 Last modified on Mon Oct 31 09:33:32 PST 1994 by heydon                   

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.