sig
module type T =
sig
type 'a t
val lazy_fold :
'a Lazy_list.Of_container.T.t ->
f:('a -> 'b Lazy_m.t -> 'b) -> last:'b -> 'b
end
module Make :
functor (X : T) -> sig val lazy_list_of_t : 'a X.t -> 'a Lazy_list.t end
end