Type specs for pivot_root