sig
val
time :
'
a
->
(
'
b
->
'
c)
->
'
b
->
'
c
end