Up
–
Index
»
goblint
»
Goblint_lib
»
Timeout
» Unix
Module
Timeout.Unix
val
timeout :
(
'a
->
'b
)
->
'a
->
float
->
(
unit
->
unit)
->
'b