<> <> <> <<>> DIRECTORY Rope USING [ROPE]; DefaultRegistry: CEDAR DEFINITIONS ~ { ROPE: TYPE ~ Rope.ROPE; MakeRegistryExplicit: PROC [in: ROPE, packages: LIST OF ATOM _ LIST [$Default], defaultDefault: ROPE _ UsersRegistry[]] RETURNS [out: ROPE]; <> <> <> <> <<>> GetDefaultRegistry: PROC [packages: LIST OF ATOM _ LIST [$Default], defaultDefault: ROPE _ UsersRegistry[]] RETURNS [registry: ROPE]; <> <<>> UsersRegistry: PROC RETURNS [registry: ROPE]; <> }.