module Check_accessors3: functor (M : Accessors3) -> Check_accessors(sigtype ('a, 'b, 'c) t = ('a, 'b, 'c) M.t end)(sigtype ('a, 'b, 'c) t = ('a, 'b, 'c) M.tree end)(sigtype 'a t = 'a end)(Without_comparator)(M)
functor (
M
:
Accessors3
) ->
Check_accessors
(
sig
type ('a, 'b, 'c) t = ('a, 'b, 'c) M.t
('a, 'b, 'c)
('a, 'b, 'c) M.t
end
)
type ('a, 'b, 'c) t = ('a, 'b, 'c) M.tree
('a, 'b, 'c) M.tree
type 'a t = 'a
'a
Without_comparator