Snark_transition (consensus.Consensus.Proof_of_stake.Hooks.Make_state_hooks.3-Snark

module Poly : sig ... end

module Value : sig ... end

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

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

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