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