src/StdTeam/TeamMiniEffie.dcl

   1 definition module TeamMiniEffie
   2
   3 /**     This module implements a team of simple minded football players.
   4         Use it for testing Soccer-Fun.
   5 */
   6
   7 import Team
   8
   9 Team_MiniEffies                 :: !Home !FootballField -> Team
  10 base_TeamName_MiniEffie :: String