Up
–
goblint
»
Goblint_lib
»
Timeout
» Js
Module
Timeout.Js
val
timeout :
(
'a
->
'b
)
->
'c
->
'd
->
'e
->
'f