code: def dataframes(
      cols: int | column | Sequence[column] | None = None,
      *,
      lazy: Literal[False] = ...,
      min_cols: int | None = 0,
      max_cols: int | None = MAX_COLS,
      size: int | None = None,
      min_size: int | None = 0,
      max_size: int | None = MAX_DATA_SIZE,
      chunked: bool | None = None,
      include_cols: Sequence[column] | column | None = None,
      null_probability: float | dict[str, float] = 0.0,
      allow_infinities: bool = True,
      allowed_dtypes: Collection[PolarsDataType]
      | PolarsDataType
      | None = None,
      excluded_dtypes: Collection[PolarsDataType]
      | PolarsDataType
      | None = None,
  ) -> SearchStrategy[DataFrame]:
      ...
  
imports: from __future__ import annotations
  import random
  import warnings
  from dataclasses import dataclass
  from math import isfinite
  from textwrap import dedent
  from typing import TYPE_CHECKING, Any, Collection, Sequence, overload
  from hypothesis.errors import InvalidArgument, NonInteractiveExampleWarning
  from hypothesis.strategies import booleans, composite, lists, sampled_from
  from hypothesis.strategies._internal.utils import defines_strategy
  from polars.dataframe import DataFrame
  from polars.datatypes import DTYPE_TEMPORAL_UNITS, Categorical, DataType, DataTypeClass, Datetime, Duration, List, is_polars_dtype, py_type_to_dtype
  from polars.series import Series
  from polars.string_cache import StringCache
  from polars.testing.parametric.strategies import _flexhash, all_strategies, between, create_list_strategy, scalar_strategies
label_desc: Use image node_id 4 for calling a global function with example usage: dataframes(cols) without return types