package octez-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

include sig ... end
module MP : sig ... end
module Msg : sig ... end
module D : sig ... end
val distributed_prover_main : workers:Distributed.Process_id.t list -> inputs:MP.prover_inputs -> MP.prover_public_parameters -> MP.proof D.t
module Worker_Main = Main
val pp_file : string
val get_distributed_pp : MP.prover_public_parameters -> bytes
OCaml

Innovation. Community. Security.