
  [;1m-spec erlang:read_timer(TimerRef) -> Result[0m
  [;1m                           when[0m
  [;1m                               TimerRef :: reference(),[0m
  [;1m                               Time :: non_neg_integer(),[0m
  [;1m                               Result :: Time | false.[0m

  Reads the state of a timer. The same as calling [;;4m[0m
  [;;4merlang:read_timer(TimerRef, [])[0m.
