Transition_chain_prover (transition_chain_prover.Transition_chain

module type Inputs_intf = sig ... end

module Make
  (Inputs : Inputs_intf) : 
  Mina_intf.Transition_chain_prover_intf
    with type transition_frontier := Inputs.Transition_frontier.t

val prove : 
  ?length:int ->
  frontier:Transition_frontier.t ->
  Mina_base.State_hash.t ->
  (Mina_base.State_hash.t * Mina_base.State_body_hash.t list) option