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

(* File: CheckExpr.i3                                          *)
(* Last Modified On Tue Jul 25 16:58:43 1989 By kalsow         *)

INTERFACE CheckExpr;

IMPORT Expr;

PROCEDURE New      (a: Expr.T;  min, max: INTEGER): Expr.T;
PROCEDURE NewLower (a: Expr.T;  min: INTEGER): Expr.T;
PROCEDURE NewUpper (a: Expr.T;  max: INTEGER): Expr.T;

END CheckExpr.