Blockchain_state (consensus.Consensus.Proof_of_stake.Hooks.Make_state_hooks.1-Blockchain

module Poly : sig ... end

module Value : sig ... end

type var =
  ( Mina_base.Staged_ledger_hash.var,
    Mina_base.Frozen_ledger_hash.var,
    Mina_transaction_logic.Zkapp_command_logic.Local_state.Checked.t,
    Block_time.Checked.t,
    Body_reference.var )
    Poly.t

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

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

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

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

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