Module intra_visitor

Structs

ProjectionSupport 🔒

Enums

AsgnKind

Functions

has_projection 🔒

help_debug_goal_stmt 🔒

help_debug_goal_term 🔒

is_place_containing_ptr 🔒

new_local_name 🔒

ownership_layout_to_rustbv 🔒

reverse_ownership_layout_to_rustbv 🔒

rustbv_merge 🔒

rustbv_to_int 🔒

Type Aliases

Aggre 🔒

Disc 🔒