Block_data (transaction_protocol_state.Transaction_protocol_state.Block

module Stable : sig ... end

type t = Stable.Latest.t

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

type var

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