write in snip%
Writes the snip to the given stream. (Snip reading is handled by the
snip class.) Style information about the snip (i.e., the content of
get-style) will be saved and
restored automatically.
( -> void
send a-snip write f)
f : editor-stream-out% object