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
S_binable
with type ('a, 'b, 'c) map = ('a, 'b, 'c) t
with type ('a, 'b, 'c) tree = ('a, 'b, 'c) tree