Searched defs:workspace_name (Results 1 – 3 of 3) sorted by relevance
38 const std::string &workspace_name = it.second[index]; in DebugString() local
93 workspace_name=None, argument
84 workspace_name=None, argument