Functor Container.Check_S1


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