DEFINITION MODULE boards; (* This module is a list of boards for the game. After thinking about *) (* it for a while, I decided to use a list of setups rather than have the *) (* possibilty of a random setup that was impossible to play. *) FROM header IMPORT boardtype; CONST numboards = 4; (* This is the number of setups I have *) VAR setup0 : boardtype; (* This one is a blank board *) setup1 : boardtype; setup2 : boardtype; setup3 : boardtype; setup4 : boardtype; END boards.