module Check_S0: functor (M : S0) -> Check(sigtype 'a t = M.t end)(sigtype 'a t = M.elt end)(M)
functor (
M
:
S0
) ->
Check
(
sig
type 'a t = M.t
'a
M.t
end
)
type 'a t = M.elt
M.elt