Vocabulary
tools.time

Inputs
quota quotation


Outputs
runtimethe runtime in nanoseconds


Word description
Runs a quotation, measuring the total wall clock time.

Notes
A nicer word for interactive use is time.

See also
time

Definition