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

(* File: Max.i3                                                *)
(* Last Modified On Wed Apr 15 09:51:37 PDT 1992 By kalsow     *)
(*      Modified On Thu Nov  2 18:19:04 1989 By muller         *)

INTERFACE Max;

IMPORT Type, Expr;

PROCEDURE Initialize ();

PROCEDURE TypeOf (proc: Expr.T; VAR args: Expr.List): Type.T;
PROCEDURE DoCheck (name: TEXT; args: Expr.List): Type.T;

END Max.