type ('a, 'h) t
=
|
Ok
Previously_aborted of 'a
Previously_happened of 'h
include sig ... end
val sexp_of_t : ('a ‑> Base.Sexp.t) ‑> ('h ‑> Base.Sexp.t) ‑> ('a, 'h) t ‑> Base.Sexp.t