1 definition module Sokoban
3 from StdString import class toString
5 :: SokobanPuzzle = Sokoban [[SokobanTile]]
6 :: SokobanTile = Wall | Free | Box | Target | Agent
8 instance toString SokobanTile
9 instance toString SokobanPuzzle
11 parse :: String *World -> (SokobanPuzzle, *World)