Body (mina_state.Mina_state.Protocol

module Poly : sig ... end

module Value : sig ... end

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

type ('a, 'b, 'c, 'd) t = ( 'a, 'b, 'c, 'd ) Poly.t

val typ : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  ( var, Value.t ) Snark_params.Tick.Typ.t

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

val hash_checked : 
  var ->
  Mina_base.State_body_hash.var Snark_params.Tick.Checked.t

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

val view : Value.t -> Mina_base.Zkapp_precondition.Protocol_state.View.t

val view_checked : 
  var ->
  Mina_base.Zkapp_precondition.Protocol_state.View.Checked.t

module For_tests : sig ... end