static Stack <string> _GetFullNamepaceRec(this ISymbol _this) { if (_this.ContainingNamespace == null) { return(Empty.MutableStack <string>()); } else { var previous = _this.ContainingNamespace._GetFullNamepaceRec(); var res = previous.WithPushed(_this.ContainingNamespace.Name); return(res); } }