src/Game/GamePicture.dcl

   1 definition module GamePicture
   2
   3 /**     Type definitions for handling bitmaps for referees (and footballers in the future).
   4 */
   5
   6 import StdBitmap
   7
   8 ::      Path                    :== String
   9 ::      GamePicture             =       { img                   :: !Bitmap
  10                                                 , path                  :: !Path
  11                                                 }
  12 ::      ActionPics              =       { refereePics   :: ![GamePicture]
  13                                                 }