DEFINITION MODULE Tabs; (* DEE 2014-01-22/2015-12-01 *)
  CONST MAXLINE = 1000;
  TYPE tabtype = ARRAY [1..MAXLINE] OF BOOLEAN;
  VAR tabstops: tabtype;

  PROCEDURE settabs(VAR tabstops: tabtype);
  PROCEDURE tabpos(col: INTEGER; VAR tabstops: tabtype): BOOLEAN;
  PROCEDURE setTabPos(col: INTEGER): BOOLEAN;
END Tabs.