(* Copyright (C) 1989, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* File: M3.i3                                                 *)
(* Last modified on Sat Jul 15 13:08:59 1989 by kalsow         *)

INTERFACE M3;

(* This interface defines some base object types so that circular
   dependencies between other interfaces may be avoided. *)

TYPE
  Scope <: ADDRESS;       (* == Scope.T *)
  Value <: UNTRACED_ROOT; (* == Value.T *)
  Expr  <: UNTRACED_ROOT; (* == Expr.T  *)
  Stmt  <: UNTRACED_ROOT; (* == Stmt.T  *)
  Type  <: UNTRACED_ROOT; (* == Type.T  *)
  Temp  <: ADDRESS;       (* == Temp.T  *)

END M3.