Rpcs_versioned.Work
type ledger_proof = Ledger_proof.t
module Single : sig ... end
module Spec : sig ... end
module Result : sig ... end