initial framework added
[fp1415-soccerfun.git] / src / StdTeam / KeeperChallenger.dcl
1 definition module KeeperChallenger
2
3 import Footballer
4
5 keeperChallenger :: !FootballerID -> Footballer