package lilis
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A stream-like data structure should be lazy and support O(1) concatenation.
It should also be possible to store a datastructure in order to replicate it (to print it multiple time on screen, for example).
For clonable data-structures, we can have S.t identical to S.stored
val singleton : 'a -> 'a tval iter : ('a -> unit) -> 'a t -> unitval fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'bval of_list : 'a list -> 'a storedval to_list : 'a t -> 'a listval empty : 'a stored