Module type Sig.IA


module type IA = sig .. end

include Sig.I
module Mark: Sig.MARK  with type graph = t and type vertex = vertex