Module type Map.S_binable

module type S_binable = S_binable 
  with type ('a, 'b, 'c) map  := ('a, 'b, 'c) t 
  with type ('a, 'b, 'c) tree := ('a, 'b, 'c) Tree.t