Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/AliveToolkit/alive2
/ getTypeConstraints
Method
getTypeConstraints
ir/type.cpp:304–306 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
302
}
303
304
expr VoidType::getTypeConstraints() const {
305
return true;
306
}
307
308
void VoidType::fixup(const Model &m) {
309
// do nothing
Callers
2
getTypings
Method · 0.45
exec
Function · 0.45
Calls
7
ule
Method · 0.80
ugt
Method · 0.80
enforceIntType
Method · 0.80
enforceFloatType
Method · 0.80
enforcePtrType
Method · 0.80
size
Method · 0.45
implies
Method · 0.45
Tested by
no test coverage detected