Functor Core_set_intf.Check_creators0

module Check_creators0: 
functor (M : Creators0) -> Check_creators(sig

type ('a, 'b) t = M.t 

end)(sig

type ('a, 'b) t = M.tree 

end)(sig

type 'a t = M.elt 

end)(sig

type 'cmp t = M.comparator_witness 

end)(Without_comparator)(M)