// --------------------------------------------------------------------------
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);
}