Parallel_scan.Merge
Merge Job: Merging two proofs
module Record : sig ... end
module Job : sig ... end
module Stable : sig ... end
type 'merge t = 'merge Stable.Latest.t
include Ppx_sexp_conv_lib.Sexpable.S1 with type 'merge t := 'merge t
val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> Sexplib0__.Sexp.t -> 'a t
val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> 'a t -> Sexplib0__.Sexp.t