module Check_S1 (M : S1) : Check(sigtype 'a t = 'a M.t end)(sigtype 'a t = 'a end)(M)
(
M
:
S1
)
Check
sig
type 'a t = 'a M.t
'a
'a M.t
end
type 'a t = 'a