Function request_of 

pub fn request_of(host: &str, v: &Value) -> Result<Request, String>

An HttpRequest the program built, as the request the seam sends.

The host is not read out of the value: it is the argument of the net.out(host) atom the call site performs, so it arrives separately and cannot be computed (§6.5).