Time.Pimodule type CLOCK = sig ... endtype Resource.pi += | Clock : ('t,
(module CLOCK
with type t = 't
and type time = 'time),
[> 'time clock_ty ])
Resource.pival clock :
(module CLOCK with type t = 't and type time = 'time) ->
('t, [> 'time clock_ty ]) Resource.handler