especially must be private because we cheat on whether the fields exist

This is a very shitty concurrent hash map that will do for now

, Debug)]

TODO: I just copied this from IP, feel free to add or remove error cases Anson. Where there are two fields: expected, then got.

Where there are two fields: expected, then got.

Capability that gives synchronous access to a Connection TODO: not too great that ipv4::State's routing strategy is leaking this far.

A priority queue to store cuts of a cycle Currently basically extension methods on DList

Axioms (from Wikipedia): - From PartialCyclicOrder: - Cyclicity: If [a, b, c] then [b, c, a] - Asymmetry: If [a, b, c] then not [c, b, a] - Tra

A mock link layer interface made from UDP

Capability that gives synchronous access to a Listener TODO: not too great that ipv4::State's routing strategy is leaking this far.

The backing listening socket / read loop for a bunch of UDP-backed mock link neighbors

Axioms (from Wikipedia): - Cyclicity: If [a, b, c] then [b, c, a] - Asymmetry: If [a, b, c] then not [c, b, a] - Transitivity: If [a, b, c] and

TODO: get rid of mutex

Encapsulates all connection state and data structures