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