<<>> <> <> <> DIRECTORY IntCodeDefs USING [ModuleNode], Rope USING [ROPE], Symbols USING [Type]; MimP5Install: DEFINITIONS = BEGIN GenInstallationProc: PROC [ name: Rope.ROPE, gfType: Symbols.Type, module: IntCodeDefs.ModuleNode]; END.