DEFINITION MODULE PersonsList; FROM StdIO IMPORT FILE; TYPE PersList; PROCEDURE InitPersList(fromFile: FILE; VAR persList: PersList): BOOLEAN; (* Separator is whiteSpace - * no check !!! * FALSE, if error *) PROCEDURE WritePersList(to: FILE; persList: PersList); END PersonsList.