Up
–
prover
»
Prover
»
S
» Worker_state
Module
S.Worker_state
type
t
type
init_arg
val
create :
init_arg
->
t
Async_kernel
.Deferred.t