Up
Module
Array_fold
Signature
type
('a, 'acc) t = ('a, 'acc)
Types.Array_fold.t
= {
init
: 'acc
;
f
: 'acc -> 'a -> 'acc
;
children
: 'a
Types.Node.t
array
;
}
val
sexp_of_t : ('a ->
Sexplib.Sexp.t
) -> ('b ->
Sexplib.Sexp.t
) -> ('a, 'b)
t
->
Sexplib.Sexp.t
val
invariant : 'a
Core_kernel.Invariant_intf.inv
-> 'b
Core_kernel.Invariant_intf.inv
-> ('a, 'b)
t
Core_kernel.Invariant_intf.inv
val
compute : ('a, 'b)
t
-> 'b