write-footers-to-file in editor<%>
(-> booleansendan-editorwrite-footers-to-filestream)
stream:editor-stream-out%object
write-footers-to-file in editor<%>
( -> boolean
send an-editor write-footers-to-file stream)
stream : editor-stream-out% object