Module Incremental__.Array_fold

include module type of sig ... end
type ('a, 'acc) t = ('a, 'acc) Incremental__Types.Array_fold.t = {
init : 'acc;
f : 'acc -> 'a -> 'acc;
children : 'a Incremental__Types.Node.t array;
}
include Incremental__.Sexp_of.S2 with type ('a, 'b) t := ('a, 'b) t
type ('a, 'b) t
val sexp_of_t : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> ('b -> Ppx_sexp_conv_lib.Sexp.t) -> ('a, 'b) t -> Ppx_sexp_conv_lib.Sexp.t
include Core_kernel.Invariant.S2 with type ('a, 'b) t := ('a, 'b) t
type ('a, 'b) t
val invariant : 'a Base__.Invariant_intf.inv -> 'b Base__.Invariant_intf.inv -> ('a, 'b) t Base__.Invariant_intf.inv
val compute : (_, 'b) t -> 'b