Module type Sig.IA


module type IA = sig .. end

include Sig.I
module Mark: sig .. end