For_tests (mina_state.Mina_state.Consensus_state_hooks.For

val gen_consensus_state : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  constants:Consensus.Constants.t ->
  gen_slot_advancement:int Async.Quickcheck.Generator.t ->
  ( previous_protocol_state:
      Protocol_state.Value.t Mina_base.State_hash.With_state_hashes.t ->
    snarked_ledger_hash:Mina_base.Frozen_ledger_hash.t ->
    coinbase_receiver:Signature_lib.Public_key.Compressed.t ->
    supercharge_coinbase:bool ->
    Consensus.Data.Consensus_state.Value.t )
    Async.Quickcheck.Generator.t