package vcaml
Module Set.Elt
type comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Base__.Comparator.comparatorSet.Elttype comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Base__.Comparator.comparator