Protocol_state.Body
module Poly : sig ... end
module Value : sig ... end
type var = ( Mina_base.State_hash.var, blockchain_state_var, consensus_state_var, Mina_base.Protocol_constants_checked.var ) Poly.t