Functor Core_map_intf.Check_creators1

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

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

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

end)(Without_comparator)(M)