<> <> <> DIRECTORY Tree: TYPE USING [Id, Link, Scan, MapFromX], XTree: TYPE Tree USING [Id, Link]; XTreeOps: DEFINITIONS = { <> LinkFromX: PROC[link: XTree.Link] RETURNS[Tree.Link]; LinkToX: PROC[link: Tree.Link] RETURNS[XTree.Link]; <<>> <> CopyTreeFromX: PROC[root: XTree.Id, map: Tree.MapFromX] RETURNS[v: Tree.Link]; ForEachSon: PROC[node: Tree.Id, action: Tree.Scan]; }.