>>311
>>310の書き方がおかしい。

timeは予約語だが、他の予約語とは違って例外的に、パイプの先頭に
書くことができる、ということ。

で、今話題になっているtimeとtime(1)は別物だという話にはほとんど関連性はない。