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