module Check_creators1: functor (M : Creators1) -> Check_creators(sigtype ('a, 'b) t = 'a M.t end)(sigtype ('a, 'b) t = 'a M.tree end)(sigtype 'a t = 'a end)(Without_comparator)(M)
functor (
M
:
Creators1
) ->
Check_creators
(
sig
type ('a, 'b) t = 'a M.t
('a, 'b)
'a M.t
end
)
type ('a, 'b) t = 'a M.tree
'a M.tree
type 'a t = 'a
'a
Without_comparator