Structsยง
- Length
Read ๐ - Loop
Facts ๐
Staticsยง
Functionsยง
- array_
length_ ๐mutated - call_
is_ ๐safe_ to_ cache - call_
may_ ๐mutate_ state - call_
return_ ๐type - collect_
condition_ ๐length_ reads - collect_
expr_ ๐facts - collect_
length_ ๐reads - collect_
stmt_ ๐facts - collect_
written_ ๐vars - expr_
is_ ๐loop_ invariant - expr_
type ๐ - for_
loop_ ๐parts - function_
return_ ๐type - is_
array_ ๐like - is_
comparison ๐ - struct_
field_ ๐type - variable_
resolution ๐