module type S = S with type ('a, 'b) set = ('a, 'b) t with type ('a, 'b) tree = ('a, 'b) tree
S
with type ('a, 'b) set = ('a, 'b) t
with type ('a, 'b) tree = ('a, 'b) tree