Functor Container.Check_S0

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