(* 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.