public override void write( output_port p )
{
p.write( "#!optional" );
}
public override void write( output_port p )
{
p.write( value );
}
public override void write( output_port p )
{
p.write( "()" );
}
public override void write( output_port p )
{
p.write( "#!key" );
}
public override void write( output_port p )
{
p.write( (this == vrai) ? "#t" : "#f" );
}
public override void write( output_port p )
{
p.write( "#unspecified" );
}