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

(* File: Ceiling.i3                                            *)
(* Last Modified On Wed Apr 15 09:51:05 PDT 1992 By kalsow     *)
(*      Modified On Thu Jul 27 17:14:07 1989 By muller         *)

INTERFACE Ceiling;

IMPORT Expr;

PROCEDURE Initialize ();

PROCEDURE DoCheck (name: TEXT; args: Expr.List);

END Ceiling.