File: RecordExpr.i3 Last Modified On Fri Jun 24 08:48:36 PDT 1994 By kalsow
INTERFACERecordExpr ; IMPORT M3ID, Type, Expr; PROCEDURE New (type: Type.T; args: Expr.List): Expr.T; PROCEDURE Is (e: Expr.T): BOOLEAN; PROCEDURE Qualify (record: Expr.T; id: M3ID.T; VAR e: Expr.T): BOOLEAN; END RecordExpr.