sig
  type 'a t
  val empty : 'a -> 'a Communication.PathMap.t
  val add :
    Communication.path ->
    'a -> 'a Communication.PathMap.t -> 'a Communication.PathMap.t
  val find : Communication.path -> 'a Communication.PathMap.t -> 'a option
end