Module type Shadowing.B

include A
val f : int
type t = string
val g : t