(* Copyright 1992 Digital Equipment Corporation.               *)
(* Distributed only by permission.                             *)
(* Last modified on Wed Oct 28 15:00:52 PST 1992 by johnh  *)

INTERFACE ZeusUtil;

IMPORT Point, Trestle;
<* PRAGMA LL *>


EXCEPTION BadSnapshot(TEXT);

PROCEDURE KeywordCheck (arg: REFANY; t: TEXT) RAISES {BadSnapshot};
<* LL = arbitrary *>
(* arg should be a List.T whose first element is an SxSymbol.T whose name
   is t.  If it isn't, complain. *)

PROCEDURE ScreenPosOK (scr: Trestle.ScreenID; pt: Point.T): BOOLEAN;
<* LL = VBT.mu *>
(* RETURN TRUE iff the screen exists and pt is on it. *)

END ZeusUtil.