DEFINITION MODULE bgInit; IMPORT e : ExecD, str : bgStrukturen; TYPE historyNodePtr = POINTER TO historyNode; TYPE historyNode = RECORD node : e.MinNode; brett : str.Brett END; (* RECORD *) VAR history : e.MinList; (* Zum merken der Züge *) PROCEDURE Init (); PROCEDURE InitBrett ( VAR brett : str.Brett ); END bgInit.