Function set_of_values_sorted 

pub open spec fn set_of_values_sorted<C: SpecSerializer>(
    inner: C,
    values: Seq<C::SVal>,
) -> bool

{ der_encodings_sorted(values.map_values(|v: C::SVal| inner.spec_serialize(v))) }

Whether values are in the canonical order required by DER SET OF.