Module With1.M

module type S