
+Goal onto_file ++File

   Redirect Goal's standard output stream to File

Type
   library(fromonto)

Description
Equivalent to once(Goal), with output redirected to File.

Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).


