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