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