Snark_transition (mina_state.Mina_state.Snark

module Poly : sig ... end

module Value : sig ... end

type value = Value.t

type var =
  ( Blockchain_state.var,
    Consensus.Data.Consensus_transition.var,
    Mina_base.Pending_coinbase.Update.var )
    Poly.t

include Snark_params.Tick.Snarkable.S
  with type value := Value.t
   and type var := var

val typ : ( var, Value.t ) Crypto_params.Tick.Typ.t

val create_value : 
  blockchain_state:Blockchain_state.Value.t ->
  consensus_transition:Consensus.Data.Consensus_transition.Value.Stable.V1.t ->
  pending_coinbase_update:Mina_base.Pending_coinbase.Update.t ->
  unit ->
  Value.t

val genesis : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  consensus_constants:Consensus.Constants.t ->
  genesis_ledger:Mina_ledger.Ledger.t Core_kernel.Lazy.t ->
  genesis_body_reference:Consensus.Body_reference.t ->
  Value.t

val consensus_transition : 
  ( _, 'consensus_transition, _ ) Poly.t ->
  'consensus_transition

val pending_coinbase_update : 
  ( _, _, 'pending_coinbase_action ) Poly.t ->
  'pending_coinbase_action

val blockchain_state : ( 'blockchain_state, _, _ ) Poly.t -> 'blockchain_state