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