Module References.A

type t

type t in module A

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