INTERFACEThis module translates M3 types that occur as arguments to events into a form that obliq can useTypeFmt ; IMPORT GameBoard;
PROCEDURE Board (board: GameBoard.T): TEXT;This procedure just translates a board into its key
PROCEDURE BoardKey (board: GameBoard.T): TEXT; END TypeFmt.