include Foldable2
type 'a t
val init : _ t
val f : 'a t ‑> 'a ‑> 'a t
include Core.Sexpable.S1 with type a t := a t
val t_of_sexp : (Base__.Sexplib.Sexp.t ‑> 'a) ‑> Base__.Sexplib.Sexp.t ‑> 'a t
val sexp_of_t : ('a ‑> Base__.Sexplib.Sexp.t) ‑> 'a t ‑> Base__.Sexplib.Sexp.t