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

(* File: ProcCheckExpr.i3                                      *)
(* Last Modified On Tue Jan  9 12:42:03 1990 By kalsow         *)

INTERFACE ProcCheckExpr;

IMPORT Expr;

PROCEDURE New (a: Expr.T): Expr.T;

END ProcCheckExpr.