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

(* File: Max.i3                                                *)
(* Last Modified On Thu Nov  2 18:19:04 1989 By muller         *)
(*      Modified On Fri Jul  7 13:44:42 1989 By kalsow         *)

INTERFACE Max;

IMPORT Text, Type, Expr;


PROCEDURE Initialize ();

PROCEDURE DoBind (args: Expr.List): Type.T;

PROCEDURE DoCheck (name: Text.T; args: Expr.List);

END Max.