-- File: StatsOpsExtras.mesa - last edit: -- AOF 15-Feb-88 11:00:47 -- Copyright (C) 1988 by Xerox Corporation. All rights reserved. StatsOpsExtras: DEFINITIONS = BEGIN CaptureErrors: PROCEDURE[proc: PROC[ERROR]]; GetDoStats: PROCEDURE[] RETURNS[doStats: BOOLEAN]; END.