definition module Buffer

/**	This module implements a footballer who only runs in north-south direction on the 
	football field. This player can be used for assignments, such as the deep pass
	assignments.
	
	Developed by Wanja Krah.
*/
import Footballer

buffer :: !FootballField !Home !Edge !FootballerID -> Footballer