type !'a gen = 'a tmodule type S = sig ... endval get : 'a t -> 'a optionval next : 'a t -> 'a optionval get_exn : 'a t -> 'aval junk : 'a t -> unitval repeatedly : (unit -> 'a) -> 'a tval empty : 'a genval singleton : 'a -> 'a genval repeat : 'a -> 'a genval iterate : 'a -> ('a -> 'a) -> 'a genval unfold : ('b -> ('a * 'b) option) -> 'b -> 'a genval init : ?limit:int -> (int -> 'a) -> 'a genval is_empty : 'a gen -> boolval fold : ('b -> 'a -> 'b) -> 'b -> 'a gen -> 'bval reduce : ('a -> 'a -> 'a) -> 'a gen -> 'aval iter : ('a -> unit) -> 'a gen -> unitval iteri : (int -> 'a -> unit) -> 'a gen -> unitval length : 'a gen -> intval mem : ?eq:('a -> 'a -> bool) -> 'a -> 'a gen -> boolval nth : int -> 'a gen -> 'aval for_all : ('a -> bool) -> 'a gen -> boolval exists : ('a -> bool) -> 'a gen -> boolval min : ?lt:('a -> 'a -> bool) -> 'a gen -> 'aval max : ?lt:('a -> 'a -> bool) -> 'a gen -> 'aval find : ('a -> bool) -> 'a gen -> 'a optionval sum : int gen -> intval of_list : 'a list -> 'a genval to_list : 'a gen -> 'a listval to_rev_list : 'a gen -> 'a listval to_array : 'a gen -> 'a arrayval of_array : ?start:int -> ?len:int -> 'a array -> 'a genval rand_int : int -> int genval int_range : int -> int -> int genmodule Infix : sig ... endval (--) : int -> int -> int genval pp :
?start:string ->
?stop:string ->
?sep:string ->
?horizontal:bool ->
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a gen ->
unitmodule Restart : sig ... end