type ('a, 'h) t
=
|
Aborted of 'a
Happened of 'h
include sig ... end
val sexp_of_t : ('a ‑> Sexplib.Sexp.t) ‑> ('h ‑> Sexplib.Sexp.t) ‑> ('a, 'h) t ‑> Sexplib.Sexp.t