<> <> DIRECTORY Names USING [ROPE]; NamesGVImpExp: CEDAR DEFINITIONS = { ROPE: TYPE = Names.ROPE; GVImport: PROC [instance: ROPE_NIL] RETURNS [success: BOOL]; <> <<>> GVExport: PROC [instance: ROPE_NIL] RETURNS [success: BOOL]; <> }.