File: NotExpr.i3 Last Modified On Wed Jul 26 13:25:11 1989 By kalsow

INTERFACE NotExpr;

IMPORT Expr;

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

END NotExpr.