Module type References.A

type t

type t in module type A