module SubsumptionIndex: Index.SUBSUMPTION_IDX with type C.t = C.t
Index.SUBSUMPTION_IDX
with type C.t = C.t