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

Function ownership_layout_to_rustbv

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