Protocol_state (consensus.Consensus.Hooks.Make_state_hooks.2-Protocol

module Poly : sig ... end

module Body : sig ... end

module Value : sig ... end

type var = ( Mina_base.State_hash.var, Body.var ) Poly.t

val create_value : 
  previous_state_hash:Mina_base.State_hash.t ->
  genesis_state_hash:Mina_base.State_hash.t ->
  blockchain_state:Blockchain_state.Value.t ->
  consensus_state:Data.Consensus_state.Value.t ->
  constants:Mina_base.Protocol_constants_checked.Value.t ->
  Value.t

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

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

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

val genesis_state_hash : 
  ?state_hash:Mina_base.State_hash.t option ->
  Value.t ->
  Mina_base.State_hash.t

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

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

val hash : Value.t -> Mina_base.State_hash.t