Up
–
coq
» WorkerLoop
Module
WorkerLoop
val
start : init:(unit
->
unit)
->
loop:(unit
->
unit)
->
unit