Snark_transition (consensus.Consensus.Intf.Snark

type blockchain_state_var

type consensus_transition_var

module Poly : sig ... end

module Value : sig ... end

type var =
  ( blockchain_state_var,
    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