Specialize on t rather than empty system-clock
Include clock API in documentation