rapx::analysis::rcanary::ranalyzer::intra_visitor

Function reverse_ownership_layout_to_rustbv

source 
fn reverse_ownership_layout_to_rustbv(layout: &OwnershipLayout) -> RustBV