definition module Sokoban

from StdString import class toString

:: SokobanPuzzle = Sokoban [[SokobanTile]]
:: SokobanTile = Wall | Free | Box | Target | Agent

instance toString SokobanTile
instance toString SokobanPuzzle

parse :: String *World -> (SokobanPuzzle, *World)