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