Function extract_time_range_strict 

pub fn extract_time_range_strict(
    ts_col_name: &str,
    ts_col_unit: TimeUnit,
    filters: &[Expr],
) -> TimeRangeExtraction

Strictly extracts the time range of ts_col_name from the (implicitly AND-ed) scan filters. See TimeRangeExtraction.