Module Dep2.A

module Y : Arg.S