(FILECREATED "19-Aug-86 11:30:07" {QV}<NOTECARDS>1.3K>NEXT>RHTPATCH090.;1 922    

      changes to:  (VARS RHTPATCH090COMS))


(* Copyright (c) 1986 by Xerox Corporation. All rights reserved.)

(PRETTYCOMPRINT RHTPATCH090COMS)

(RPAQQ RHTPATCH090COMS ((* * Change to NCPROGINT)
			  (FNS NCP.IsSubTypeOfP)))
(* * Change to NCPROGINT)

(DEFINEQ

(NCP.IsSubTypeOfP
  (LAMBDA (SubTypeName SupposedSuperTypeName)                (* rht: "19-Aug-86 11:28")

          (* * Return non-nil if SubTypeName inherits somewhere up the hierarchy from SupposedSuperTypeName)



          (* * rht 8/19/86: Fixed typo bug.)


    (if (NCP.CardTypeP SubTypeName)
	then (NC.IsSubTypeOfP SubTypeName SupposedSuperTypeName)
      else (NCP.ReportError SubTypeName " is not a loaded notecard type."))))
)
(PUTPROPS RHTPATCH090 COPYRIGHT ("Xerox Corporation" 1986))
(DECLARE: DONTCOPY
  (FILEMAP (NIL (351 840 (NCP.IsSubTypeOfP 361 . 838)))))
STOP