functor
(
M
:
MCLOCK
) (
MT
:
MTICK
)
->
WATCHER_FUN