type ('s, 'a) t
include sig ... end
val sexp_of_t : ('s ‑> Base.Sexp.t) ‑> ('a ‑> Base.Sexp.t) ‑> ('s, 'a) t ‑> Base.Sexp.t