sig
  val ( --> ) : ('a, 'b) BatMultiPMap.t -> '-> 'BatPSet.t
  val ( <-- ) : ('a, 'b) BatMultiPMap.t -> 'a * '-> ('a, 'b) BatMultiPMap.t
end