`erlang:timestamp()` in this context is the type specification for the time format used by functions such as `now()` or `os:timestamp()` (`{MegaSecs, Secs, MicroSecs}`) so that using the Dialyzer application, we can type check that our code uses the proper time format.