Filtered_external_transition (filtered_external_transition.Filtered_external

module Fee_transfer_type : sig ... end

module Transactions : sig ... end

module Protocol_state : sig ... end

module Stable : sig ... end

type t = Stable.Latest.t = {

creator : Signature_lib.Public_key.Compressed.t;

winner : Signature_lib.Public_key.Compressed.t;

protocol_state : Protocol_state.t;

transactions : Transactions.t;

snark_jobs : Transaction_snark_work.Info.t list;

proof : Mina_base.Proof.t;

}

val participants : t -> Mina_base.Account_id.Set.t

val participant_pks : t -> Signature_lib.Public_key.Compressed.Set.t

val commands : 
  t ->
  ( Mina_base.User_command.t, Mina_transaction.Transaction_hash.t ) With_hash.t
    Mina_base.With_status.t
    list

val validate_transactions : 
  Mina_block.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  ( Mina_transaction.Transaction.t Mina_base.With_status.t list,
    Staged_ledger.Pre_diff_info.Error.t )
    Core.result

val filter_protocol_state : 
  ( Mina_base.State_hash.t,
    ( 'a,
      Mina_state.Blockchain_state.Value.t,
      Consensus.Data.Consensus_state.Value.t,
      'b )
      Mina_state.Protocol_state.Body.t )
    Mina_state.Protocol_state.Poly.t ->
  Protocol_state.t

val of_transition : 
  Mina_block.t ->
  [< `All | `Some of Signature_lib.Public_key.Compressed.Set.t ] ->
  Mina_transaction.Transaction.t Mina_base.With_status.t list ->
  t