package vcaml
Module Map.Key
type comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Base__.Comparator.comparatorMap.Keytype comparator_witness = comparator_witnessval comparator : (t, comparator_witness) Base__.Comparator.comparator