Functor Core_set_intf.Check_accessors1

module Check_accessors1: 
functor (M : Accessors1) -> Check_accessors(sig

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

end)(sig

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

end)(sig

type 'a t = 'a 

end)(sig

type 'a t = M.comparator_witness 

end)(Without_comparator)(M)