sig
  type 'a t
  val map : ('a -> 'b) -> 'a Bindlib.Map.t -> 'b Bindlib.Map.t
end