Module Snark_transition.Poly

type ('blockchain_state, 'consensus_transition, 'pending_coinbase_update) t = {
blockchain_state : 'blockchain_state;
consensus_transition : 'consensus_transition;
pending_coinbase_update : 'pending_coinbase_update;
}
include Ppx_sexp_conv_lib.Sexpable.S3 with type ('blockchain_state, 'consensus_transition, 'pending_coinbase_update) t := ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t
val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> ( Sexplib0__.Sexp.t -> 'b ) -> ( Sexplib0__.Sexp.t -> 'c ) -> Sexplib0__.Sexp.t -> ( 'a, 'b, 'c ) t
val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> ( 'b -> Sexplib0__.Sexp.t ) -> ( 'c -> Sexplib0__.Sexp.t ) -> ( 'a, 'b, 'c ) t -> Sexplib0__.Sexp.t
val pending_coinbase_update : ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t -> 'pending_coinbase_update
val consensus_transition : ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t -> 'consensus_transition
val blockchain_state : ( 'blockchain_state, 'consensus_transition, 'pending_coinbase_update ) t -> 'blockchain_state
module Fields : sig ... end
module Stable : sig ... end