#include <debug.h>

#include <wcostream/write.h>

#include "struct.h"
#include "print.h"

void string_write(
    struct string* this,
    struct wcostream* stream)
{
    ENTER;
    
    wcostream_write(
        /* stream: */ stream,
        /* data: */ this->data,
        /* len: */ this->n);
    
    EXIT;
}