pub fn threads(w: &World) -> Result<Threads, Unstated>
The thread count the world w states; refused where it states none, since the program states how it runs: no count stands in for one it did not state.
w