This file includes internal utility operations for VT
INTERFACEVTRd ; IMPORT Rd, Thread; IMPORT VTDef; TYPE T = VTDef.T; I = VTDef.I; PROCEDURE InitReaderIx (vt: T; index: I) RAISES {Rd.Failure, Thread.Alerted}; PROCEDURE Rev (vt: T) RAISES {Rd.Failure, Thread.Alerted}; END VTRd.