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

(* File: Floatt.i3                                             *)
(* Last Modified On Thu Jul 27 17:14:01 1989 By muller         *)
(*      Modified On Tue Jun 27 13:41:50 1989 By kalsow         *)

INTERFACE Floatt;

IMPORT Text, Expr;


PROCEDURE Initialize ();

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

END Floatt.