Module type Fragments.A

module B : sig ... end