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