Module Sequence.Step

type (!'a, !'s) t =
  1. | Done
  2. | Skip of {
    1. state : 's;
    }
  3. | Yield of {
    1. value : 'a;
    2. state : 's;
    }
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> ('s -> Sexplib0.Sexp.t) -> ('a, 's) t -> Sexplib0.Sexp.t