Functor Core_map_intf.Check_accessors2

module Check_accessors2: 
functor (M : Accessors2) -> Check_accessors(sig
type ('a, 'b, 'c) t = ('a, 'b) M.t 
end)(sig
type ('a, 'b, 'c) t = ('a, 'b) M.tree 
end)(sig
type 'a t = 'a 
end)(Without_comparator)(M)
Parameters:
M : Accessors2