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