Returns the time specified in the date/time string given as the argument. If no argument is given, then the current local date/time, as returned by date:date-time is used as the default argument.
time($date-time as string?) ➔ string
The input date/time