Transaction_snark.Pending_coinbase_stack_state
module Init_stack : sig ... end
module Poly : sig ... end
type 'pending_coinbase poly = 'pending_coinbase Poly.t = {
source : 'pending_coinbase; |
target : 'pending_coinbase; |
}
val poly_to_yojson :
( 'pending_coinbase -> Yojson.Safe.t ) ->
'pending_coinbase poly ->
Yojson.Safe.t
val poly_of_yojson :
( Yojson.Safe.t -> 'pending_coinbase Ppx_deriving_yojson_runtime.error_or ) ->
Yojson.Safe.t ->
'pending_coinbase poly Ppx_deriving_yojson_runtime.error_or
val sexp_of_poly :
( 'pending_coinbase -> Ppx_sexp_conv_lib.Sexp.t ) ->
'pending_coinbase poly ->
Ppx_sexp_conv_lib.Sexp.t
val poly_of_sexp :
( Ppx_sexp_conv_lib.Sexp.t -> 'pending_coinbase ) ->
Ppx_sexp_conv_lib.Sexp.t ->
'pending_coinbase poly
val hash_fold_poly :
( Ppx_hash_lib.Std.Hash.state ->
'pending_coinbase ->
Ppx_hash_lib.Std.Hash.state ) ->
Ppx_hash_lib.Std.Hash.state ->
'pending_coinbase poly ->
Ppx_hash_lib.Std.Hash.state
val target : 'pending_coinbase poly -> 'pending_coinbase
val source : 'pending_coinbase poly -> 'pending_coinbase
module Fields_of_poly : sig ... end
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
val hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
type var = Mina_base.Pending_coinbase.Stack.var Poly.t
val typ : ( var, t ) Snark_params.Tick.Typ.t
val to_input : 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