Function wait_process_group_empty 

pub fn wait_process_group_empty(
    pgid: NonZeroU32,
    timeout: Duration,
) -> Result<bool>

Waits at most timeout for a process group to empty; Ok(false) when members remain then. Observation only (see process_group_exists); it never signals the group.