INTERFACE DblBufferUtil; IMPORT Batch; PROCEDURE Tighten(ba: Batch.T);
This has the same specification as BatchUtil.Tighten, but works harder to make GetClip(ba) small.
BatchUtil.Tighten
GetClip(ba)
END DblBufferUtil.