outline and randomness. Afterfix now tackles if necessary

[fp1415-soccerfun.git] / src / StdReferee / NoReferee.dcl

definition module NoReferee

/** This module implements a null referee which doesn't do anything */

import Referee

NoReferee :: !FootballField -> Referee