copy-to-file ( args -- )


Vocabulary
tools.copy

Inputs
argsan object


Outputs
None

Definition