Up
–
Index
»
rocq-runtime
» WorkerLoop
Module
WorkerLoop
val
start :
init
:
(
unit
->
unit)
->
loop
:
(
unit
->
unit)
->
string list
->
unit