Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Streams / Lazy infinite lists.
val first : 'a stream -> 'a
First element (head) of a stream.
val take : int -> 'a stream -> 'a list
Take the first n elements of a stream.
val bits : unit -> bool stream
Default implementation of uniformly distributed random bit stream.
val coin : int -> int -> bool stream
Coin stream (applied to bits).
val die : int -> int stream
Die stream (applied to bits).
val findist : int list -> int stream
Findist stream (applied to bits).