DIRECTORY
Commander USING [ CommandProc, Register ],
CommandToolExtras USING [ NumArgs, ArgN ],
NamesGVImpExp,
NamesGVRpcControl USING [ ExportInterface ],
IO,
Log USING [ Problem, Report ],
Names USING [ CurrentRName, CurrentPasskey, ROPE ],
RPC USING [ ExportFailed ],
UserProfile USING [ Token ]
;
NamesGVExportImpl:
CEDAR
PROGRAM
IMPORTS Commander, CommandToolExtras, IO, Log, RPC, Names, NamesGVRpcControl, UserProfile
EXPORTS NamesGVImpExp = {
OPEN IO;
}.