Functor Core_map_intf.Check_creators3_with_comparator

module Check_creators3_with_comparator: 
functor (M : Creators3_with_comparator) -> Check_creators(sig
type ('a, 'b, 'c) t = ('a, 'b, 'c) M.t 

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

end)(sig
type 'a t = 'a 

end)(With_comparator)(M)