Module type Shadowing.A

type t = int
val f : t