Module SigForMod.Inner

module type Empty = sig ... end