Module References.A

type t
module B : sig ... end
module type B = sig ... end