definition module world // ******************************************************************************** // Clean Standard Object I/O library. // ******************************************************************************** loadWorld :: !World -> Int storeWorld :: !Int !World -> *World