Body (consensus.Consensus.Proof_of_stake.Hooks.Make_state_hooks.2-Protocol

module Poly : sig ... end

module Value : sig ... end

type var =
  ( Mina_base.State_hash.var,
    Blockchain_state.var,
    Data.Consensus_state.var,
    Mina_base.Protocol_constants_checked.var )
    Poly.t