Module def_use 

Verify-specific extensions for def-use computation.

Re-exports core types from helpers/def_use and augments PlaceKey / RelevantPlaces with contract/property-aware methods.

Functions

argument_index_of_place 🔒

Map a root place to its callee argument index, if it is an Arg or a Local that traces to a callee parameter.

bind_callsite_roots 🔒

Bind callee parameter roots to concrete MIR call operands.

bind_operand_place 🔒

is_target_argument_index 🔒

Return whether an argument index is a target-place position for a property.