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