Blockchain_state (mina_state.Mina_state.Blockchain

module Poly : sig ... end

module Value : sig ... end

include Snark_params.Tick.Snarkable.S
  with type var =
         ( Mina_base.Staged_ledger_hash.var,
           Mina_base.Frozen_ledger_hash.var,
           Local_state.Checked.t,
           Block_time.Checked.t,
           Consensus.Body_reference.var )
           Poly.t
   and type value := Value.t

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

val typ : ( var, Value.t ) Crypto_params.Tick.Typ.t

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

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

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

val registers : 
  ( _, 'snarked_ledger_hash, 'local_state, _, _ ) Poly.t ->
  ( 'snarked_ledger_hash, unit, 'local_state ) Registers.Stable.V1.t

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

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

val create_value : 
  staged_ledger_hash:Mina_base.Staged_ledger_hash.t ->
  genesis_ledger_hash:Mina_base.Frozen_ledger_hash.t ->
  registers:
    ( Mina_base.Frozen_ledger_hash.t, unit, Local_state.t )
      Registers.Stable.V1.t ->
  timestamp:Block_time.t ->
  body_reference:Consensus.Body_reference.t ->
  Value.t

val negative_one : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  consensus_constants:Consensus.Constants.t ->
  genesis_ledger_hash:Mina_base.Ledger_hash.t ->
  genesis_body_reference:Consensus.Body_reference.t ->
  Value.t

val genesis : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  consensus_constants:Consensus.Constants.t ->
  genesis_ledger_hash:Mina_base.Ledger_hash.t ->
  genesis_body_reference:Consensus.Body_reference.t ->
  Value.t

val set_timestamp : 
  ( 'staged_ledger_hash, 'lh, 'ls, 'time, 'body_ref ) Poly.t ->
  'time ->
  ( 'staged_ledger_hash, 'lh, 'ls, 'time, 'body_ref ) Poly.t

val to_input : 
  Value.t ->
  Snark_params.Tick.Field.t Random_oracle.Input.Chunked.t

val var_to_input : 
  var ->
  Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

type display = ( string, string, Local_state.display, string, string ) Poly.t

val display_to_yojson : display -> Yojson.Safe.t

val display_of_yojson : 
  Yojson.Safe.t ->
  display Ppx_deriving_yojson_runtime.error_or

val display : Value.t -> display