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