-- File: PupTimeServerOps.mesa - last edit:
-- AOF                  3-Feb-88 14:56:23
-- HGM                 23-Sep-83  3:01:19
-- Copyright (C) 1983, 1988 by Xerox Corporation. All rights reserved. 

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

PupTimeServerOps: DEFINITIONS =
  BEGIN

  PupTimeServer: PROCEDURE [PupDefs.PupBuffer];

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