Module type SuperSig.SubSigA

type t
module SubSigAMod : sig ... end