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