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