echo-args ( args -- )


Vocabulary
tools.echo

Inputs
argsan object


Outputs
None

Definition