TEST
<?php
-$w = new ion\Writer\Stream\Writer(STDOUT,
- new ion\Writer\Options(flushEveryValue: true));
+$w = new ion\Writer\Stream\Writer(STDOUT, flushEveryValue: true);
$w->writeNull();
echo "\n";
echo "\n";
$w->startContainer(ion\Type::Struct);
$w->writeFieldName("prop");
-$w->writeAnnotation(ion\Symbol\Table\PHP::Property->toSymbol());
+$w->writeAnnotation(ion\Symbol\PHP::Property->toSymbol());
$w->writeInt($w->getDepth());
$w->writeFieldName(new ion\Symbol("priv"));
$w->writeAnnotation("a","b","c");