type ('a, 's) t = ('a, 's) Base.Sequence.Step.t =| Done| Skip of 's| Yield of 'a * 's
include Bin_prot.Binable.S2 with type ('a, 's) t := ('a, 's) t
val bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.tval bin_size_t : ('a, 'b, ('a, 's) t) Bin_prot.Size.sizer2val bin_write_t : ('a, 'b, ('a, 's) t) Bin_prot.Write.writer2val bin_read_t : ('a, 'b, ('a, 's) t) Bin_prot.Read.reader2val __bin_read_t__ : ('a, 'b, int -> ('a, 's) t) Bin_prot.Read.reader2val bin_writer_t : ('a, 'b, ('a, 's) t) Bin_prot.Type_class.S2.writerval bin_reader_t : ('a, 'b, ('a, 's) t) Bin_prot.Type_class.S2.readerval bin_t : ('a, 'b, ('a, 's) t) Bin_prot.Type_class.S2.t
include module type of sig ... end with type ('a, 's) Step.t := ('a, 's) t
include module type of Base.Sequence.Step with type ('a, 's) t := ('a, 's) t
val sexp_of_t : ('a -> Base.Sexp.t) -> ('s -> Base.Sexp.t) -> ('a, 's) t -> Base.Sexp.t