Variable DataFrameBottomConst

DataFrameBottom: { colnames: []; cols: "bottom"; rows: "bottom" } = ...

The bottom element (least element) of the data frame shape domain representing no possible value, mapping the columns names to ColNamesBottom and the number of columns and rows to IntervalBottom.

Type declaration

  • Readonlycolnames: []
  • Readonlycols: "bottom"
  • Readonlyrows: "bottom"

Settings

Member Visibility