Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/AliveToolkit/alive2
/ toString
Method
toString
ir/type.cpp:287–291 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
285
}
286
287
string Type::toString() const {
288
ostringstream s;
289
print(s);
290
return s.str();
291
}
292
293
Type::~Type() {}
294
Callers
4
verify
Method · 0.45
value.cpp
File · 0.45
print_type
Class · 0.45
toSMT
Method · 0.45
Calls
1
str
Method · 0.80
Tested by
no test coverage detected