src/StdTeam/Team_Harmless.dcl

   1 system module Team_Harmless
   2
   3 import Team
   4
   5 :: NumPlayers :== Int
   6 :: Difficulty = Auto | Level Int
   7
   8 // import this module and add the team 'Harmless (n, level)' in Game\Team.icl
   9 MostlyHarmless :: (!NumPlayers,!Difficulty) Home FootballField -> Team
  10
  11 Harmless :== MostlyHarmless (11,Auto)