;;; $Id: type-check-global-var-types.def,v 1.1 1999/06/23 16:57:22 leavens Exp $

trustme!

(deftype *tc:global-var-types* (env symbol type-expr))
