sig
  type t
  val here : Join.Ns.t
  val of_site : Join.Site.t -> Join.Ns.t
  val to_site : Join.Ns.t -> Join.Site.t
  val there : Unix.sockaddr -> Join.Ns.t
  val of_sockaddr : Unix.sockaddr -> Join.Ns.t
  val lookup : Join.Ns.t -> string -> 'a
  val register : Join.Ns.t -> string -> '-> unit
end