<> <> Install CommandToolProcedures Run DFUtilitiesExtrasImpl DFClosureImpl TestDFClosure _ DFClosureImpl.EnumerateClosure["/Ivy/Serlet/Top/Serlet.df", FALSE, TestDFClosure.BringDefiningFile, TestDFClosure.BringDefiningImport, TestDFClosure.BringDefiningError, NIL, &stdout[]] _ DFClosureImpl.EnumerateClosure["/DATools/DATools6.1/Top/Sinix.df", FALSE, TestDFClosure.BringDAUserFile, TestDFClosure.BringDAUserImport, TestDFClosure.BringDefiningError, TestDFClosure.BringDAUserMessage, &stdout[]] _ DFClosureImpl.EnumerateClosure["/DATools/DATools6.1/Top/DAWorldMap.df", FALSE, TestDFClosure.BringDAUserFile, TestDFClosure.BringDAUserImport, TestDFClosure.BringDefiningError, TestDFClosure.BringDAUserMessage, &stdout[]]