DEFINITION StandardChessClocks;
IMPORT ChessClocks, Shards, Times;
PROCEDURE Create(VAR chessclock: ChessClocks.ChessClock;
pot: Shards.Pot;
nofplayers: SHORTINT;
timelimit: Times.Time);
END StandardChessClocks.