package patdiff
Module Set.EltSource
type comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Base__.Comparator.comparatorSet.EltSourcetype comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Base__.Comparator.comparator