Step (regular.Regular.Std.Seq.Step)

type (!'a, !'s) t = ('a, 's) Base.Sequence.Step.t =

| Done
| Skip of 's
| Yield of 'a * 's

val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.t

val bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2

val bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2

val bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2

val __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2

val bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writer

val bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.reader

val bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.t

val sexp_of_t : 
  ('a -> Base__.Ppx_sexp_conv_lib.Sexp.t) ->
  ('s -> Base__.Ppx_sexp_conv_lib.Sexp.t) ->
  ('a, 's) t ->
  Base__.Ppx_sexp_conv_lib.Sexp.t