Functor Container.Check_S1

module Check_S1: 
functor (M : S1) -> Check(sig
type 'a t = 'a M.t 
end)(sig
type 'a t = 'a 
end)(M)
Parameters:
M : S1