sig
  type ('a, 's) t = Done | Skip of '| Yield of 'a * 's
  val sexp_of_t :
    ('-> Sexplib.Sexp.t) ->
    ('-> Sexplib.Sexp.t) -> ('a, 's) Sequence.Step.t -> Sexplib.Sexp.t
end