let net_connection_domain_remove_nth (d: domain) (n: int) (b: b)
: b =
let rec remove n cs =
begin match cs with
| [] -> []
| (d', _, _) :: cs' when n = 0 && d' = d -> cs'
| ((d', _, _) as c) :: cs' when d' = d -> c :: remove (pred n) cs'
| c :: cs' -> c :: remove n cs'
end
in
let connections' = remove n b.browser_connections in
{ b with browser_connections = connections' }