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

(* File: RecordExpr.i3                                         *)
(* Last Modified On Fri Jul 28 08:52:36 1989 By kalsow         *)

INTERFACE RecordExpr;

IMPORT Type, Expr, String;

PROCEDURE New (type: Type.T;  args: Expr.List): Expr.T;

PROCEDURE Is (e: Expr.T): BOOLEAN;

PROCEDURE Qualify (record: Expr.T;  id: String.T;  VAR e: Expr.T): BOOLEAN;

END RecordExpr.