Module type Sig.IA


module type IA = sig  end

include I
module Mark: sig  end