Constructing Lazyframe
A Lazyframe can be constructed by loading from a file using the APIs introduced in the IO Chapter. Alternatively, you can generate a corresponding Lazyframe by calling the lazy() method on a DataFrame.
#![allow(unused)] fn main() { let lf = df.lazy(); }