Module Prover.Worker_state

type t
type init_arg
val create : init_arg -> t Async_kernel.Deferred.t