Redirecting to struct.SpannedSymbol.html...