module Check_accessors0: functor (M : Accessors0) -> Check_accessors(sigtype ('a, 'b) t = M.t end)(sigtype ('a, 'b) t = M.tree end)(sigtype 'a t = M.elt end)(Without_comparator)(M)
functor (
M
:
Accessors0
) ->
Check_accessors
(
sig
type ('a, 'b) t = M.t
('a, 'b)
M.t
end
)
type ('a, 'b) t = M.tree
M.tree
type 'a t = M.elt
'a
M.elt
Without_comparator