DEFINITION MODULE TLib; TYPE Point = RECORD x, y : INTEGER END; PROCEDURE Move(VAR p : Point; dx, dy : INTEGER); END TLib.
