Functor Core_set_intf.Check_accessors0

module Check_accessors0: 
functor (M : Accessors0) -> Check_accessors(sig
type ('a, 'b) t = M.t 

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

end)(sig
type 'a t = M.elt 

end)(Without_comparator)(M)