Function heap_layout_to_rustbv

Source
fn heap_layout_to_rustbv(layout: &Vec<OwnedHeap>) -> Vec<bool>