State (parallel_scan.Parallel

module Stable : sig ... end

type nonrec ('merge, 'base) t = ( 'merge, 'base ) Stable.Latest.t

include Ppx_sexp_conv_lib.Sexpable.S2
  with type ('merge, 'base) t := ( 'merge, 'base ) t

val t_of_sexp : 
  ( Sexplib0__.Sexp.t -> 'a ) ->
  ( Sexplib0__.Sexp.t -> 'b ) ->
  Sexplib0__.Sexp.t ->
  ( 'a, 'b ) t

val sexp_of_t : 
  ( 'a -> Sexplib0__.Sexp.t ) ->
  ( 'b -> Sexplib0__.Sexp.t ) ->
  ( 'a, 'b ) t ->
  Sexplib0__.Sexp.t

val map : 
  ( 'a1, 'a2 ) t ->
  f1:( 'a1 -> 'b1 ) ->
  f2:( 'a2 -> 'b2 ) ->
  ( 'b1, 'b2 ) t

module Hash : sig ... end

val hash : 
  ( 'merge, 'base ) t ->
  ( 'merge -> string ) ->
  ( 'base -> string ) ->
  Hash.t

module Make_foldable (M : Core_kernel.Monad.S) : sig ... end

val fold_chronological : 
  ( 'merge, 'base ) t ->
  init:'accum ->
  f_merge:( 'accum -> 'merge Merge.t -> 'accum ) ->
  f_base:( 'accum -> 'base Base.t -> 'accum ) ->
  'accum