functor
(
P
:
PCLOCK
) (
M
:
MCLOCK
) (
MT
:
MTICK
) (
E
:
LIFECYCLE
)
->
WATCHER_FUN