-- VerifyDFInterface.Mesa, last edit December 30, 1982 2:42 pm
-- Pilot 6.0/ Mesa 7.0
-- exported by VerifyDFImpl.Mesa

	DIRECTORY
  	Subr: TYPE USING [TTYProcs];
		
		
VerifyDFInterface: DEFINITIONS = {


-- by convention, wantRTVersionID is RTBcd.VersionID if you want to guarantee
-- that the correct RT stamp is used.  If wantRTVersionID = 0 then VerifyDF
-- checks that all the versionId's are equal
VerifyBcds: PROC[bcdfilename, dffilename: LONG STRING, h: Subr.TTYProcs,
	checkForOverwrite, printFlattened, useHugeZone: BOOL, wantRTVersionID: CARDINAL];



}.