module type T = sig .. end
sig
end
type 'a t
'a
val lazy_fold : 'a t -> f:('a -> 'b Lazy_m.t -> 'b) -> last:'b -> 'b
'a t -> f:('a -> 'b Lazy_m.t -> 'b) -> last:'b -> 'b