Up

Module type Foldable_sexpable

Signature

include Foldable
type t

The type of the accumlator

type data

The type of the folded in values.

val init : t

The initial value of the accumulator.

val f : t -> data -> t

The folding function.

include Core.Std.Sexpable with type t := t
type t
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t