Blockchain (blockchain_snark.Blockchain

module Stable : sig ... end

type t = Stable.Latest.t

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

val create : 
  state:Mina_state.Protocol_state.Value.t ->
  proof:Mina_base.Proof.t ->
  t

val state : t -> Mina_state.Protocol_state.Value.t

val proof : t -> Mina_base.Proof.t