-- Copyright (C) 1983  by Xerox Corporation. All rights reserved. 
-- PupTimeServerOps.Mesa, HGM, 23-Sep-83  3:01:19

DIRECTORY
  Stats USING [StatCounterIndex],
  Buffer USING [PupBuffer];

PupTimeServerOps: DEFINITIONS =
  BEGIN

  PupTimeServer: PROCEDURE [Buffer.PupBuffer];

  parmsOk: BOOLEAN;
  correction: INTEGER;
  
  statText: Stats.StatCounterIndex;
  statTenex: Stats.StatCounterIndex;
  statAlto: Stats.StatCounterIndex;
  
  END.