Function pid_is_live 

pub fn pid_is_live(pid: u32) -> bool

Whether pid is a live process this user can signal.

kill(pid, 0) is the liveness question POSIX answers without touching the process. On a non-unix target there is no equivalent that does not start something, so the lease alone is the answer.