definition module Gui2D /** This module implements a simple SDI GUI for Soccer-Fun. */ SoccerFunGUI2D :: !*World -> *World