// -------------------------------------------------------------------------- void der::encode ( io::output& output, set const& value ) // -------------------------------------------------------------------------- { std::string contents; io::ostring ostr(contents); for (type_base const* const& v: value) { v->der_encode(ostr); } ber::encode_tag(output, value.tag(), true); ber::encode_length(output, contents.size()); output.write(contents); }