The syntax for the time literal in BNF is as follows:

Syntax

time_literal ::=
 { t 'hh:mi:ss'}|hh:mi:ss[:mls]

For more information, see Time literals.