Module Snark_transition.Poly

type ('blockchain_state, 'consensus_transition, 'pending_coinbase_update) t
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