(* Copyright (C) 1992, Digital Equipment Corporation *) (* All rights reserved. *) (* See the file COPYRIGHT for a full description. *) (* File: NarrowExpr.i3 *) (* Last Modified On Wed Apr 15 10:14:51 PDT 1992 By kalsow *) INTERFACE NarrowExpr; IMPORT Expr, Type; PROCEDURE New (a: Expr.T; t: Type.T; implicit: BOOLEAN): Expr.T; END NarrowExpr.