Module Dep6.X

module type R = S
module Y : R