INTERFACENamedExpr ; IMPORT M3ID, Expr, Value; PROCEDURE New (name: M3ID.T; value: Value.T): Expr.T; PROCEDURE FromValue (value: Value.T): Expr.T; PROCEDURE Split (e: Expr.T; VAR name: M3ID.T; VAR v: Value.T): BOOLEAN; PROCEDURE SplitName (e: Expr.T; VAR name: M3ID.T): BOOLEAN; END NamedExpr.