Major Section: OTHER
Example Form: (wof "tmp" (pso)) ; same as (psof "tmp") General Form: (wof filename form)where
filename is a writable filename and form is any form that
evaluates to an error triple (see programming-with-state), that is, a
multiple value of the form (mv erp val state). All output to channels
standard-co and proofs-co will be directed to the indicated
file. It is acceptable to replace filename with
(quote filename).Note that so-called comment-window output (see cw and see observation-cw)
is not redirected by wof to a file, nor is printing from a
wormhole.